Skip to content

Actions: rocq-prover/rocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12,552 workflow runs
12,552 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge PR #20541: Delete unreachable grammar entries Windows CI #14759: Commit a2521be pushed by coqbot-app bot
April 18, 2025 14:16 In progress master
master
April 18, 2025 14:16 In progress
Merge PR #20541: Delete unreachable grammar entries Check conflicts #4525: Commit a2521be pushed by coqbot-app bot
April 18, 2025 14:16 2m 10s master
master
April 18, 2025 14:16 2m 10s
Merge PR #20541: Delete unreachable grammar entries GitHub macOS CI #15716: Commit a2521be pushed by coqbot-app bot
April 18, 2025 14:16 24m 34s master
master
April 18, 2025 14:16 24m 34s
Merge PR #20540: Print Grammar Full also prints unreachable entries Windows CI #14758: Commit 03b4f2e pushed by coqbot-app bot
April 18, 2025 14:13 In progress master
master
April 18, 2025 14:13 In progress
Merge PR #20540: Print Grammar Full also prints unreachable entries GitHub macOS CI #15715: Commit 03b4f2e pushed by coqbot-app bot
April 18, 2025 14:13 22m 42s master
master
April 18, 2025 14:13 22m 42s
Merge PR #20540: Print Grammar Full also prints unreachable entries Check conflicts #4524: Commit 03b4f2e pushed by coqbot-app bot
April 18, 2025 14:13 2m 15s master
master
April 18, 2025 14:13 2m 15s
Don't use grammar rule deletion to implement unfreeze GitHub macOS CI #15714: Pull request #20542 opened by SkySkimmer
April 18, 2025 13:41 19m 21s SkySkimmer:clean-reinit
SkySkimmer:clean-reinit
April 18, 2025 13:41 19m 21s
Don't use grammar rule deletion to implement unfreeze Windows CI #14757: Pull request #20542 opened by SkySkimmer
April 18, 2025 13:41 54m 26s SkySkimmer:clean-reinit
SkySkimmer:clean-reinit
April 18, 2025 13:41 54m 26s
Simplify low level custom entry system Windows CI #14756: Pull request #20510 synchronize by SkySkimmer
April 18, 2025 13:40 57m 43s SkySkimmer:simplify-custom-entry
SkySkimmer:simplify-custom-entry
April 18, 2025 13:40 57m 43s
Simplify low level custom entry system GitHub macOS CI #15713: Pull request #20510 synchronize by SkySkimmer
April 18, 2025 13:40 24m 42s SkySkimmer:simplify-custom-entry
SkySkimmer:simplify-custom-entry
April 18, 2025 13:40 24m 42s
Merge PR #20535: [RocqIDE] Guard a potentially unbounded loop in tool… Windows CI #14755: Commit a385001 pushed by coqbot-app bot
April 18, 2025 11:31 1h 16m 20s master
master
April 18, 2025 11:31 1h 16m 20s
Merge PR #20535: [RocqIDE] Guard a potentially unbounded loop in tool… Check conflicts #4523: Commit a385001 pushed by coqbot-app bot
April 18, 2025 11:31 2m 8s master
master
April 18, 2025 11:31 2m 8s
Merge PR #20535: [RocqIDE] Guard a potentially unbounded loop in tool… GitHub macOS CI #15712: Commit a385001 pushed by coqbot-app bot
April 18, 2025 11:31 20m 58s master
master
April 18, 2025 11:31 20m 58s
Merge PR #19811: Fix primitive projection handling for setoid_rewrite Windows CI #14754: Commit 8863a4b pushed by coqbot-app bot
April 18, 2025 11:31 1h 5m 22s master
master
April 18, 2025 11:31 1h 5m 22s
Merge PR #19811: Fix primitive projection handling for setoid_rewrite Check conflicts #4522: Commit 8863a4b pushed by coqbot-app bot
April 18, 2025 11:31 2m 11s master
master
April 18, 2025 11:31 2m 11s
Merge PR #19811: Fix primitive projection handling for setoid_rewrite GitHub macOS CI #15711: Commit 8863a4b pushed by coqbot-app bot
April 18, 2025 11:31 22m 59s master
master
April 18, 2025 11:31 22m 59s
Merge PR #20496: Use record instead of tuple for UVars.bound_names Windows CI #14753: Commit 1c4bdeb pushed by coqbot-app bot
April 18, 2025 11:28 58m 13s master
master
April 18, 2025 11:28 58m 13s
Merge PR #20496: Use record instead of tuple for UVars.bound_names GitHub macOS CI #15710: Commit 1c4bdeb pushed by coqbot-app bot
April 18, 2025 11:28 20m 34s master
master
April 18, 2025 11:28 20m 34s
Merge PR #20496: Use record instead of tuple for UVars.bound_names Check conflicts #4521: Commit 1c4bdeb pushed by coqbot-app bot
April 18, 2025 11:28 2m 10s master
master
April 18, 2025 11:28 2m 10s
Print Grammar Full also prints unreachable entries Windows CI #14752: Pull request #20540 synchronize by SkySkimmer
April 18, 2025 11:26 1h 2m 55s SkySkimmer:print-full-grammar
SkySkimmer:print-full-grammar
April 18, 2025 11:26 1h 2m 55s
Print Grammar Full also prints unreachable entries GitHub macOS CI #15709: Pull request #20540 synchronize by SkySkimmer
April 18, 2025 11:26 22m 34s SkySkimmer:print-full-grammar
SkySkimmer:print-full-grammar
April 18, 2025 11:26 22m 34s
Delete unreachable grammar entries Windows CI #14751: Pull request #20541 opened by SkySkimmer
April 18, 2025 11:23 1h 9m 30s SkySkimmer:del-unreachable
SkySkimmer:del-unreachable
April 18, 2025 11:23 1h 9m 30s
Delete unreachable grammar entries GitHub macOS CI #15708: Pull request #20541 opened by SkySkimmer
April 18, 2025 11:23 22m 1s SkySkimmer:del-unreachable
SkySkimmer:del-unreachable
April 18, 2025 11:23 22m 1s
Print Grammar Full also prints unreachable entries GitHub macOS CI #15707: Pull request #20540 opened by SkySkimmer
April 18, 2025 11:10 22m 28s SkySkimmer:print-full-grammar
SkySkimmer:print-full-grammar
April 18, 2025 11:10 22m 28s
Print Grammar Full also prints unreachable entries Windows CI #14750: Pull request #20540 opened by SkySkimmer
April 18, 2025 11:10 53m 32s SkySkimmer:print-full-grammar
SkySkimmer:print-full-grammar
April 18, 2025 11:10 53m 32s