Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: proux01/rocq

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
311 workflow runs
311 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

After Rocq Call Windows CI #909: Commit ccd84b3 pushed by proux01
40m 30s named-notation-level
named-notation-level
40m 30s
Initial design Windows CI #908: Commit f76f5d9 pushed by proux01
46m 43s named-notation-level
named-notation-level
46m 43s
Initial design Windows CI #907: Commit 741ce7c pushed by proux01
38m 1s named-notation-level
named-notation-level
38m 1s
Initial design Windows CI #906: Commit f6b8fba pushed by proux01
33m 37s named-notation-level
named-notation-level
33m 37s
[refman] Describe the successive compilation steps. Windows CI #905: Commit ae9df12 pushed by proux01
10s refman-steps
refman-steps
10s
[CI] DIsactivate jasmin until it get fixed Windows CI #904: Commit 68ce77c pushed by proux01
49m 43s ci-jasmin
ci-jasmin
49m 43s
[CI] DIsactivate jasmin until it get fixed Windows CI #903: Commit 82f3df2 pushed by proux01
58m 39s ci-jasmin
ci-jasmin
58m 39s
[CI] DIsactivate jasmin until it get fixed Windows CI #902: Commit 1f35fc0 pushed by proux01
1h 0m 52s ci-jasmin
ci-jasmin
1h 0m 52s
[CI] DIsactivate jasmin until it get fixed Windows CI #901: Commit 15cb1bf pushed by proux01
1h 3m 31s ci-jasmin
ci-jasmin
1h 3m 31s
[documentation] Improve changelog for #19811 Windows CI #900: Commit 4dea9ab pushed by proux01
54m 31s fix20575
fix20575
54m 31s
[documentation] Improve changelog for #19811 Windows CI #899: Commit 367c32b pushed by proux01
57m 16s fix20575
fix20575
57m 16s
Remove rocq-doc opam package Windows CI #898: Commit 066475f pushed by proux01
43m 59s rm-opam-rocqdoc
rm-opam-rocqdoc
43m 59s
Remove rocq-doc opam package Windows CI #897: Commit 1a000b1 pushed by proux01
57m 40s rm-opam-rocqdoc
rm-opam-rocqdoc
57m 40s
Add the rocq-native opam package-flag Windows CI #896: Commit 8ee3dbe pushed by proux01
55m 14s native-opam
native-opam
55m 14s
Replace + with space in codoc help message Windows CI #895: Commit a97d20a pushed by proux01
1h 4m 4s coqdoc_help_message
coqdoc_help_message
1h 4m 4s
Replace + with space in codoc help message Windows CI #894: Commit 6e06e4f pushed by proux01
1h 10m 2s coqdoc_help_message
coqdoc_help_message
1h 10m 2s
[changelog] Don't overwrite files when multiple types Windows CI #893: Commit 23ec7f0 pushed by proux01
1h 4m 4s fix-make-changelog
fix-make-changelog
1h 4m 4s
[changelog] Rename 11-standard-library -> 11-corelib Windows CI #892: Commit 24645b7 pushed by proux01
1h 4m 40s changelog-corelib
changelog-corelib
1h 4m 40s
[changelog] Don't overwrite files when multiple types Windows CI #891: Commit a0f2b62 pushed by proux01
2m 3s fix-make-changelog
fix-make-changelog
2m 3s
[9.0] Bump Stdlib to V9.0.0 Windows CI #890: Commit 455ab6b pushed by proux01
51m 33s bump90stdlib
bump90stdlib
51m 33s
[CI] Update point of contact for paramcoq Windows CI #889: Commit 6ef4ff9 pushed by proux01
59m 32s poc-paramcoq
poc-paramcoq
59m 32s
[CI] Remove Stdlib dep from mathcomp Windows CI #888: Commit dde1489 pushed by proux01
1h 4m 18s ci-mathcomp-dep
ci-mathcomp-dep
1h 4m 18s
[CI] Remove Stdlib dep from mathcomp Windows CI #887: Commit de8ae93 pushed by proux01
1h 6m 4s ci-mathcomp-dep
ci-mathcomp-dep
1h 6m 4s
[CI] Fix jasmin Windows CI #886: Commit 207e21a pushed by proux01
53m 2s fix-ci
fix-ci
53m 2s
[CI] Fix jasmin Windows CI #885: Commit 29bb15c pushed by proux01
57m 29s fix-ci
fix-ci
57m 29s