Skip to content

Actions: rocq-prover/rocq

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #947: Scheduled
April 15, 2025 02:32 2s master
master
April 15, 2025 02:32 2s
Merge PR #20486: Classes.open_instance does nothing when superglobal GitHub macOS CI #15643: Commit 5fc42a3 pushed by coqbot-app bot
April 14, 2025 19:48 20m 47s master
master
April 14, 2025 19:48 20m 47s
Merge PR #20486: Classes.open_instance does nothing when superglobal Windows CI #14686: Commit 5fc42a3 pushed by coqbot-app bot
April 14, 2025 19:48 56m 52s master
master
April 14, 2025 19:48 56m 52s
Merge PR #20486: Classes.open_instance does nothing when superglobal Check conflicts #4507: Commit 5fc42a3 pushed by coqbot-app bot
April 14, 2025 19:48 2m 12s master
master
April 14, 2025 19:48 2m 12s
Preserve the HConstr payload as much as possible in private constants. Windows CI #14685: Pull request #20518 opened by ppedrot
April 14, 2025 15:50 1h 0m 7s ppedrot:seff-preserve-hconstr
ppedrot:seff-preserve-hconstr
April 14, 2025 15:50 1h 0m 7s
Preserve the HConstr payload as much as possible in private constants. GitHub macOS CI #15642: Pull request #20518 opened by ppedrot
April 14, 2025 15:50 23m 44s ppedrot:seff-preserve-hconstr
ppedrot:seff-preserve-hconstr
April 14, 2025 15:50 23m 44s
Classes.open_instance does nothing when superglobal GitHub macOS CI #15641: Pull request #20486 synchronize by SkySkimmer
April 14, 2025 15:33 27m 57s SkySkimmer:tc-locality
SkySkimmer:tc-locality
April 14, 2025 15:33 27m 57s
Classes.open_instance does nothing when superglobal Windows CI #14684: Pull request #20486 synchronize by SkySkimmer
April 14, 2025 15:33 48m 3s SkySkimmer:tc-locality
SkySkimmer:tc-locality
April 14, 2025 15:33 48m 3s
Port rewrite_strat to Ltac2. Windows CI #14683: Pull request #20491 synchronize by radrow
April 14, 2025 15:14 1h 3m 14s radrow:radrow/gh-20482
radrow:radrow/gh-20482
April 14, 2025 15:14 1h 3m 14s
Port rewrite_strat to Ltac2. GitHub macOS CI #15640: Pull request #20491 synchronize by radrow
April 14, 2025 15:14 22m 11s radrow:radrow/gh-20482
radrow:radrow/gh-20482
April 14, 2025 15:14 22m 11s
An elimination constraint graph to manage elimination of sort variables Windows CI #14682: Pull request #20506 synchronize by jrosain
April 14, 2025 14:52 47s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
April 14, 2025 14:52 47s
An elimination constraint graph to manage elimination of sort variables GitHub macOS CI #15639: Pull request #20506 synchronize by jrosain
April 14, 2025 14:52 23m 21s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
April 14, 2025 14:52 23m 21s
An elimination constraint graph to manage elimination of sort variables GitHub macOS CI #15638: Pull request #20506 synchronize by jrosain
April 14, 2025 14:36 28m 17s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
April 14, 2025 14:36 28m 17s
An elimination constraint graph to manage elimination of sort variables Windows CI #14681: Pull request #20506 synchronize by jrosain
April 14, 2025 14:36 1h 4m 10s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
April 14, 2025 14:36 1h 4m 10s
Ltac2 print explanation when rejecting a definition due to value restriction Windows CI #14680: Pull request #20517 opened by SkySkimmer
April 14, 2025 14:11 1h 2m 3s SkySkimmer:ltac2-not-val-reason
SkySkimmer:ltac2-not-val-reason
April 14, 2025 14:11 1h 2m 3s
Ltac2 print explanation when rejecting a definition due to value restriction GitHub macOS CI #15637: Pull request #20517 opened by SkySkimmer
April 14, 2025 14:11 21m 35s SkySkimmer:ltac2-not-val-reason
SkySkimmer:ltac2-not-val-reason
April 14, 2025 14:11 21m 35s
Ltac2 Set: only take effect in shallow imports GitHub macOS CI #15636: Pull request #20516 synchronize by SkySkimmer
April 14, 2025 13:50 24m 45s SkySkimmer:ltac2-set-export
SkySkimmer:ltac2-set-export
April 14, 2025 13:50 24m 45s
Ltac2 Set: only take effect in shallow imports Windows CI #14679: Pull request #20516 synchronize by SkySkimmer
April 14, 2025 13:50 56m 36s SkySkimmer:ltac2-set-export
SkySkimmer:ltac2-set-export
April 14, 2025 13:50 56m 36s
Ltac2 Set: only take effect in shallow imports GitHub macOS CI #15635: Pull request #20516 synchronize by SkySkimmer
April 14, 2025 12:21 25m 10s SkySkimmer:ltac2-set-export
SkySkimmer:ltac2-set-export
April 14, 2025 12:21 25m 10s
Ltac2 Set: only take effect in shallow imports Windows CI #14678: Pull request #20516 synchronize by SkySkimmer
April 14, 2025 12:21 55m 25s SkySkimmer:ltac2-set-export
SkySkimmer:ltac2-set-export
April 14, 2025 12:21 55m 25s
Ltac2 Set: only take effect in shallow imports GitHub macOS CI #15634: Pull request #20516 opened by SkySkimmer
April 14, 2025 12:19 23m 48s SkySkimmer:ltac2-set-export
SkySkimmer:ltac2-set-export
April 14, 2025 12:19 23m 48s
Ltac2 Set: only take effect in shallow imports Windows CI #14677: Pull request #20516 opened by SkySkimmer
April 14, 2025 12:19 52m 49s SkySkimmer:ltac2-set-export
SkySkimmer:ltac2-set-export
April 14, 2025 12:19 52m 49s
Test suite quiet mode (make QUIET=1) Windows CI #14676: Pull request #20515 opened by SkySkimmer
April 14, 2025 12:15 56m 41s SkySkimmer:test-show0
SkySkimmer:test-show0
April 14, 2025 12:15 56m 41s
Test suite quiet mode (make QUIET=1) GitHub macOS CI #15633: Pull request #20515 opened by SkySkimmer
April 14, 2025 12:15 26m 59s SkySkimmer:test-show0
SkySkimmer:test-show0
April 14, 2025 12:15 26m 59s
Remove Fail Timeout on infinite reductions in test suite Windows CI #14675: Pull request #20514 synchronize by SkySkimmer
April 14, 2025 11:15 54m 6s SkySkimmer:rewrule-timeout
SkySkimmer:rewrule-timeout
April 14, 2025 11:15 54m 6s