Skip to content

Actions: rocq-prover/rocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,412 workflow runs
9,412 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix some typos in refman Github CI #1322: Pull request #21079 opened by ia0
30m 20s ia0:fix
ia0:fix
30m 20s
Stale PRs Stale PRs #1054: Scheduled
8s master
master
8s
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
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… GitHub macOS CI #16014: Commit a040430 pushed by ppedrot
7m 21s v9.0
v9.0
7m 21s
Backport PR #21050: Fix subterm_specif on match not filtering the sta… Check conflicts #4892: Commit a040430 pushed by ppedrot
2m 9s v9.0
v9.0
2m 9s
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
Partac don't drop marshal error message Github CI #1321: Pull request #21078 opened by SkySkimmer
30m 30s SkySkimmer:partac-fatal
SkySkimmer:partac-fatal
30m 30s
Find schemes through registration in induction Github CI #1320: Pull request #20614 synchronize by SkySkimmer
32m 3s SkySkimmer:induction-schemes
SkySkimmer:induction-schemes
32m 3s
Proper RR typechecker Github CI #1319: Pull request #19290 synchronize by yannl35133
9m 55s Yann-Leray:rewrite-rules
Yann-Leray:rewrite-rules
9m 55s
Merge PR #20957: Match-printing Github CI #1318: Commit aeabefe pushed by coqbot-app bot
31m 48s master
master
31m 48s
Merge PR #20957: Match-printing Check conflicts #4891: Commit aeabefe pushed by coqbot-app bot
2m 11s master
master
2m 11s
Merge PR #21061: Change univalence to propext in guard condition issue Check conflicts #4890: Commit fd1d6a2 pushed by coqbot-app bot
2m 10s master
master
2m 10s
Merge PR #21061: Change univalence to propext in guard condition issue Github CI #1317: Commit fd1d6a2 pushed by coqbot-app bot
24s master
master
24s
Merge PR #21076: gramlib: drop unused list of overridden actions Github CI #1316: Commit 5d80452 pushed by coqbot-app bot
1m 0s master
master
1m 0s
Merge PR #21076: gramlib: drop unused list of overridden actions Check conflicts #4889: Commit 5d80452 pushed by coqbot-app bot
2m 13s master
master
2m 13s
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 Windows CI #14960: Pull request #20055 synchronize by ppedrot
42m 52s ppedrot:backports-9.0
ppedrot:backports-9.0
42m 52s
Abbreviations don't add printing rule when still qualified Github CI #1315: Pull request #20816 synchronize by proux01
32m 7s SkySkimmer:abbrev-mod
SkySkimmer:abbrev-mod
32m 7s
Actually rely on the environment to compute canonical data. Github CI #1314: Pull request #21075 synchronize by ppedrot
31m 6s ppedrot:environ-implement-canord-quotient
ppedrot:environ-implement-canord-quotient
31m 6s
Stale PRs Stale PRs #1053: Scheduled
8s master
master
8s
Merge PR #21039: Refactor fixpoint tactics Github CI #1313: Commit c2a3684 pushed by coqbot-app bot
32m 53s master
master
32m 53s
Merge PR #21039: Refactor fixpoint tactics Check conflicts #4888: Commit c2a3684 pushed by coqbot-app bot
2m 12s master
master
2m 12s
Abbreviations don't add printing rule when still qualified Github CI #1312: Pull request #20816 synchronize by proux01
30m 43s SkySkimmer:abbrev-mod
SkySkimmer:abbrev-mod
30m 43s
Match-printing Github CI #1311: Pull request #20957 synchronize by SkySkimmer
32m 7s Yann-Leray:match-printing
Yann-Leray:match-printing
32m 7s