Skip to content

Actions: rocq-prover/rocq

Actions

GitHub macOS 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). GitHub macOS CI #16028: Pull request #20495 reopened by silene
12m 22s silene:native5-tag0
silene:native5-tag0
12m 22s
Unset the released flag. GitHub macOS CI #16027: Commit 5593fb4 pushed by ppedrot
8m 57s v9.0
v9.0
8m 57s
Bump the magic number for the 9.0.1 release. GitHub macOS CI #16026: Commit 9dad753 pushed by ppedrot
7m 31s V9.0.1
V9.0.1
7m 31s
Bump the magic number for the 9.0.1 release. GitHub macOS CI #16025: Commit 9dad753 pushed by ppedrot
8m 0s v9.0
v9.0
8m 0s
Release 9.0.1 GitHub macOS CI #16024: Pull request #21127 opened by ppedrot
9m 0s ppedrot:release-9.0.1
ppedrot:release-9.0.1
9m 0s
Backport PR #21120: Add changelog for 9.0.1. GitHub macOS CI #16023: Commit fb921a3 pushed by ppedrot
7m 24s v9.0
v9.0
7m 24s
Backports 9.0 GitHub macOS CI #16022: Pull request #20055 synchronize by ppedrot
10m 20s ppedrot:backports-9.0
ppedrot:backports-9.0
10m 20s
Backports 9.0 GitHub macOS CI #16021: Pull request #20055 synchronize by ppedrot
8m 28s ppedrot:backports-9.0
ppedrot:backports-9.0
8m 28s
Backport PR #20965: Add CSS to fix the display of description lists i… GitHub macOS CI #16020: Commit 0ecefd3 pushed by ppedrot
7m 46s v9.0
v9.0
7m 46s
Backports 9.0 GitHub macOS CI #16019: Pull request #20055 synchronize by ppedrot
8m 49s ppedrot:backports-9.0
ppedrot:backports-9.0
8m 49s
Backport PR #20418: Update links in README to point to new website / … GitHub macOS CI #16018: Commit 6ec9084 pushed by ppedrot
11m 7s v9.0
v9.0
11m 7s
Backports 9.0 GitHub macOS CI #16017: Pull request #20055 synchronize by ppedrot
11m 54s ppedrot:backports-9.0
ppedrot:backports-9.0
11m 54s
Backport PR #21061: Change univalence to propext in guard condition i… GitHub macOS CI #16016: Commit 919968e pushed by ppedrot
8m 56s v9.0
v9.0
8m 56s
Backports 9.0 GitHub macOS CI #16015: Pull request #20055 synchronize by ppedrot
8m 14s ppedrot:backports-9.0
ppedrot:backports-9.0
8m 14s
Backport PR #21050: Fix subterm_specif on match not filtering the sta… GitHub macOS CI #16014: Commit a040430 pushed by ppedrot
7m 21s v9.0
v9.0
7m 21s
Backports 9.0 GitHub macOS CI #16013: Pull request #20055 synchronize by ppedrot
7m 53s ppedrot:backports-9.0
ppedrot:backports-9.0
7m 53s
Backports 9.0 GitHub macOS CI #16012: Pull request #20055 synchronize by ppedrot
7m 16s ppedrot:backports-9.0
ppedrot:backports-9.0
7m 16s
Backports 9.0 GitHub macOS CI #16011: Pull request #20055 synchronize by ppedrot
10m 8s ppedrot:backports-9.0
ppedrot:backports-9.0
10m 8s
Backports 9.0 GitHub macOS CI #16010: Pull request #20055 synchronize by ppedrot
9m 17s ppedrot:backports-9.0
ppedrot:backports-9.0
9m 17s