Skip to content

Actions: rocq-prover/rocq

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
19 workflow runs
19 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Port native_compute to OCaml 5 (using tag 0). Windows CI #14975: Pull request #20495 reopened by silene
35m 29s silene:native5-tag0
silene:native5-tag0
35m 29s
Unset the released flag. Windows CI #14974: Commit 5593fb4 pushed by ppedrot
54m 43s v9.0
v9.0
54m 43s
Bump the magic number for the 9.0.1 release. Windows CI #14973: Commit 9dad753 pushed by ppedrot
52m 34s V9.0.1
V9.0.1
52m 34s
Bump the magic number for the 9.0.1 release. Windows CI #14972: Commit 9dad753 pushed by ppedrot
53m 52s v9.0
v9.0
53m 52s
Release 9.0.1 Windows CI #14971: Pull request #21127 opened by ppedrot
49m 37s ppedrot:release-9.0.1
ppedrot:release-9.0.1
49m 37s
Backport PR #21120: Add changelog for 9.0.1. Windows CI #14970: Commit fb921a3 pushed by ppedrot
48m 23s v9.0
v9.0
48m 23s
Backports 9.0 Windows CI #14969: Pull request #20055 synchronize by ppedrot
47m 21s ppedrot:backports-9.0
ppedrot:backports-9.0
47m 21s
Backports 9.0 Windows CI #14968: Pull request #20055 synchronize by ppedrot
58m 2s ppedrot:backports-9.0
ppedrot:backports-9.0
58m 2s
Backport PR #20965: Add CSS to fix the display of description lists i… Windows CI #14967: Commit 0ecefd3 pushed by ppedrot
47m 39s v9.0
v9.0
47m 39s
Backports 9.0 Windows CI #14966: Pull request #20055 synchronize by ppedrot
46m 21s ppedrot:backports-9.0
ppedrot:backports-9.0
46m 21s
Backport PR #20418: Update links in README to point to new website / … Windows CI #14965: Commit 6ec9084 pushed by ppedrot
49m 58s v9.0
v9.0
49m 58s
Backports 9.0 Windows CI #14964: Pull request #20055 synchronize by ppedrot
47m 18s ppedrot:backports-9.0
ppedrot:backports-9.0
47m 18s
Backport PR #21061: Change univalence to propext in guard condition i… Windows CI #14963: Commit 919968e pushed by ppedrot
48m 9s v9.0
v9.0
48m 9s
Backports 9.0 Windows CI #14962: Pull request #20055 synchronize by ppedrot
51m 19s ppedrot:backports-9.0
ppedrot:backports-9.0
51m 19s
Backport PR #21050: Fix subterm_specif on match not filtering the sta… Windows CI #14961: Commit a040430 pushed by ppedrot
50m 27s v9.0
v9.0
50m 27s
Backports 9.0 Windows CI #14960: Pull request #20055 synchronize by ppedrot
42m 52s ppedrot:backports-9.0
ppedrot:backports-9.0
42m 52s
Backports 9.0 Windows CI #14959: Pull request #20055 synchronize by ppedrot
48m 15s ppedrot:backports-9.0
ppedrot:backports-9.0
48m 15s
Backports 9.0 Windows CI #14958: Pull request #20055 synchronize by ppedrot
1h 4m 11s ppedrot:backports-9.0
ppedrot:backports-9.0
1h 4m 11s
Backports 9.0 Windows CI #14957: Pull request #20055 synchronize by ppedrot
52m 17s ppedrot:backports-9.0
ppedrot:backports-9.0
52m 17s