Skip to content

Actions: rocq-prover/rocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Merge PR #22523: Remove deprecated syntax | for quality / level sep… Check conflicts #5873: Commit 440083e pushed by coqbot-app Bot
2m 12s master
master
2m 12s
Merge PR #22523: Remove deprecated syntax | for quality / level sep… Github CI #6101: Commit 440083e pushed by coqbot-app Bot
In progress master
master
In progress
Add a flag to disable the traversing subterm analysis Github CI #6100: Pull request #22540 synchronize by thomas-lamiaux
36m 21s thomas-lamiaux:guard_flags
thomas-lamiaux:guard_flags
36m 21s
Add a flag to disable the traversing subterm analysis Github CI #6099: Pull request #22540 synchronize by thomas-lamiaux
4m 12s thomas-lamiaux:guard_flags
thomas-lamiaux:guard_flags
4m 12s
Add constant unfolding heuristic based on definitional heights. Github CI #6098: Pull request #22528 synchronize by GPRicci
39m 16s GPRicci:conv-height-heuristic
GPRicci:conv-height-heuristic
39m 16s
Add constant unfolding heuristic based on definitional heights. Github CI #6097: Pull request #22528 synchronize by GPRicci
8m 4s GPRicci:conv-height-heuristic
GPRicci:conv-height-heuristic
8m 4s
Add constant unfolding heuristic based on definitional heights. Github CI #6096: Pull request #22528 synchronize by GPRicci
37m 23s GPRicci:conv-height-heuristic
GPRicci:conv-height-heuristic
37m 23s
Simpler names for guard checker, allow erasure of case predicate and cast annotation, don't erase lambda annotations when no beta Github CI #6095: Pull request #22081 synchronize by yannl35133
36m 29s Yann-Leray:cleaner-redex-stack
Yann-Leray:cleaner-redex-stack
36m 29s
Add additional extraction language in plugins Github CI #6094: Pull request #22541 synchronize by vbergeron
39m 58s vbergeron:extraction-external-languages
vbergeron:extraction-external-languages
39m 58s
Add additional extraction language in plugins Github CI #6093: Pull request #22541 opened by vbergeron
18m 30s vbergeron:extraction-external-languages
vbergeron:extraction-external-languages
18m 30s
Merge PR #22506: [RM] Fix changelog 9.3 on master Github CI #6092: Commit 7751ff3 pushed by coqbot-app Bot
24m 24s master
master
24m 24s
Merge PR #22506: [RM] Fix changelog 9.3 on master Check conflicts #5872: Commit 7751ff3 pushed by coqbot-app Bot
2m 10s master
master
2m 10s
Stale PRs Stale PRs #1327: Scheduled
10s master
master
10s
Merge PR #22535: Bench use max instead of + to compute max memory Github CI #6091: Commit 624bdba pushed by coqbot-app Bot
31m 38s master
master
31m 38s
Merge PR #22535: Bench use max instead of + to compute max memory Check conflicts #5871: Commit 624bdba pushed by coqbot-app Bot
2m 12s master
master
2m 12s
Add a flag to disable the traversing subterm analysis Github CI #6090: Pull request #22540 synchronize by thomas-lamiaux
39m 46s thomas-lamiaux:guard_flags
thomas-lamiaux:guard_flags
39m 46s
Merge PR #22537: Remove deprecated Type@{s;l} occurrences in the test… Github CI #6089: Commit a180171 pushed by coqbot-app Bot
31m 55s master
master
31m 55s
Merge PR #22537: Remove deprecated Type@{s;l} occurrences in the test… Check conflicts #5870: Commit a180171 pushed by coqbot-app Bot
3m 15s master
master
3m 15s
Turn Suggest Proof Using into a warning and add quickfix Github CI #6088: Pull request #22532 synchronize by SkySkimmer
38m 20s SkySkimmer:proof-using-warn
SkySkimmer:proof-using-warn
38m 20s
Merge PR #22516: Stop performing universe abstraction in the kernel Github CI #6087: Commit ac295c1 pushed by coqbot-app Bot
10m 50s master
master
10m 50s
Merge PR #22516: Stop performing universe abstraction in the kernel Check conflicts #5869: Commit ac295c1 pushed by coqbot-app Bot
2m 12s master
master
2m 12s
Add a flag to disable the traversing subterm analysis Github CI #6086: Pull request #22540 synchronize by thomas-lamiaux
40m 57s thomas-lamiaux:guard_flags
thomas-lamiaux:guard_flags
40m 57s
Add a flag to disable the traversing subterm analysis Github CI #6085: Pull request #22540 synchronize by thomas-lamiaux
5m 3s thomas-lamiaux:guard_flags
thomas-lamiaux:guard_flags
5m 3s
Add a flag to disable the traversing subterm analysis Github CI #6084: Pull request #22540 opened by thomas-lamiaux
5m 34s thomas-lamiaux:guard_flags
thomas-lamiaux:guard_flags
5m 34s
Merge PR #22530: Name sets and maps now use the user naming for key i… Github CI #6083: Commit d209820 pushed by coqbot-app Bot
12m 49s master
master
12m 49s