10000 Workflow runs · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: rocq-prover/rocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11,363 workflow runs
11,363 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rocq doc replace @@TITLE@@ in header with page title, use in corelib Github CI #948: Pull request #20907 synchronize by SkySkimmer
July 16, 2025 14:34 28m 19s SkySkimmer:corelib-header
SkySkimmer:corelib-header
July 16, 2025 14:34 28m 19s
Deprecate "end tac" ("...") Github CI #947: Pull request #20917 opened by SkySkimmer
July 16, 2025 12:54 28m 25s SkySkimmer:depr-dots
SkySkimmer:depr-dots
July 16, 2025 12:54 28m 25s
An elimination constraint graph to manage elimination of sort variables Github CI #946: Pull request #20506 synchronize by jrosain
July 16, 2025 12:49 28m 18s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
July 16, 2025 12:49 28m 18s
Add test for #12608 Github CI #945: Pull request #20916 opened by SkySkimmer
July 16, 2025 12:14 31m 40s SkySkimmer:test-12608
SkySkimmer:test-12608
July 16, 2025 12:14 31m 40s
Parse 0 as Set and 1 as Set+1 in universe annotations Github CI #944: Pull request #20914 opened by SkySkimmer
July 16, 2025 12:03 28m 17s SkySkimmer:parse-set-0
SkySkimmer:parse-set-0
July 16, 2025 12:03 28m 17s
coqpp fix NUMBER "x" handling Github CI #943: Pull request #20913 opened by SkySkimmer
July 16, 2025 11:56 28m 36s SkySkimmer:coqpp-number
SkySkimmer:coqpp-number
July 16, 2025 11:56 28m 36s
Fix github CI badges in README Github CI #942: Pull request #20912 opened by SkySkimmer
July 16, 2025 11:15 28m 36s SkySkimmer:readme-badges
SkySkimmer:readme-badges
July 16, 2025 11:15 28m 36s
Make type Notation.prim_token_uid private Github CI #941: Pull request #20911 synchronize by SkySkimmer
July 16, 2025 11:11 29m 19s SkySkimmer:notation-uid
SkySkimmer:notation-uid
July 16, 2025 11:11 29m 19s
Make type Notation.prim_token_uid private Github CI #940: Pull request #20911 opened by SkySkimmer
July 16, 2025 11:10 1m 6s SkySkimmer:notation-uid
SkySkimmer:notation-uid
July 16, 2025 11:10 1m 6s
Cleanup pretyping API Github CI #939: Pull request #20892 synchronize by SkySkimmer
July 16, 2025 11:03 28m 23s SkySkimmer:pretying-api
SkySkimmer:pretying-api
July 16, 2025 11:03 28m 23s
Stale PRs Stale PRs #1013: Scheduled
July 16, 2025 02:41 1s master
master
July 16, 2025 02:41 1s
An elimination constraint graph to manage elimination of sort variables Github CI #938: Pull request #20506 synchronize by jrosain
July 15, 2025 14:49 27m 52s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
July 15, 2025 14:49 27m 52s
Move Obj.magic outside mk_cofix_accu Github CI #937: Pull request #20910 opened by SkySkimmer
July 15, 2025 13:43 28m 24s SkySkimmer:native-magic-cofix
SkySkimmer:native-magic-cofix
July 15, 2025 13:43 28m 24s
Lazy Profiling + Debug "lazy-trace" (wip) Github CI #936: Pull request #19814 synchronize by SkySkimmer
July 15, 2025 13:21 28m 28s SkySkimmer:lazy-stats
SkySkimmer:lazy-stats
July 15, 2025 13:21 28m 28s
Merge PR #20903: Ignore module redeclaration in Print Module commands. Check conflicts #4795: Commit f4e2506 pushed by coqbot-app bot
July 15, 2025 11:34 6m 52s master
master
July 15, 2025 11:34 6m 52s
Merge PR #20903: Ignore module redeclaration in Print Module commands. Github CI #935: Commit f4e2506 pushed by coqbot-app bot
July 15, 2025 11:34 29m 48s master
master
July 15, 2025 11:34 29m 48s
Merge PR #20893: Deprecate "Proof term" command Github CI #934: Commit 90bc14a pushed by coqbot-app bot
July 15, 2025 11:15 19m 51s master
master
July 15, 2025 11:15 19m 51s
Merge PR #20893: Deprecate "Proof term" command Check conflicts #4794: Commit 90bc14a pushed by coqbot-app bot
July 15, 2025 11:15 6m 3s master
master
July 15, 2025 11:15 6m 3s
Stronger synterp/interp phase split checking Github CI #933: Pull request #20674 synchronize by SkySkimmer
July 15, 2025 11:14 30m 15s SkySkimmer:stronger-synterp-flag
SkySkimmer:stronger-synterp-flag
July 15, 2025 11:14 30m 15s
Slightly more type safe native mk_cofix_accu Github CI #932: Pull request #20909 opened by SkySkimmer
July 15, 2025 11:08 29m 50s SkySkimmer:safer-native-cofix
SkySkimmer:safer-native-cofix
July 15, 2025 11:08 29m 50s
Merge PR #20905: Fix link in corelib doc header Github CI #931: Commit 6f9d9d6 pushed by coqbot-app bot
July 15, 2025 07:21 28m 17s master
master
July 15, 2025 07:21 28m 17s
Merge PR #20905: Fix link in corelib doc header Check conflicts #4793: Commit 6f9d9d6 pushed by coqbot-app bot
July 15, 2025 07:21 2m 11s master
master
July 15, 2025 07:21 2m 11s
Merge PR #20904: Remove argument duplication in intern_tacarg Github CI #930: Commit 9c6ccc9 pushed by coqbot-app bot
July 15, 2025 07:21 54s master
master
July 15, 2025 07:21 54s
Merge PR #20904: Remove argument duplication in intern_tacarg Check conflicts #4792: Commit 9c6ccc9 pushed by coqbot-app bot
July 15, 2025 07:21 2m 9s master
master
July 15, 2025 07:21 2m 9s
Stale PRs Stale PRs #1012: Scheduled
July 15, 2025 02:43 1s master
master
July 15, 2025 02:43 1s
0