8000 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
12,197 workflow runs
12,197 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge PR #20636: ci-algebra_tactics: disable native compute Check conflicts #4580: Commit 23db471 pushed by coqbot-app bot
May 14, 2025 14:12 2m 18s master
master
May 14, 2025 14:12 2m 18s
Merge PR #20636: ci-algebra_tactics: disable native compute GitHub macOS CI #15984: Commit 23db471 pushed by coqbot-app bot
May 14, 2025 14:12 23m 51s master
master
May 14, 2025 14:12 23m 51s
Merge PR #20543: Ltac2: 8000 Add Std.Red module for conversions and cent… Check conflicts #4579: Commit 310316f pushed by coqbot-app bot
May 14, 2025 14:06 2m 13s master
master
May 14, 2025 14:06 2m 13s
Merge PR #20543: Ltac2: Add Std.Red module for conversions and cent… GitHub macOS CI #15983: Commit 310316f pushed by coqbot-app bot
May 14, 2025 14:06 25m 4s master
master
May 14, 2025 14:06 25m 4s
ci-hott run make install (for the minimizer) GitHub macOS CI #15982: Pull request #20637 opened by SkySkimmer
May 14, 2025 12:46 31m 45s SkySkimmer:ci-install-hott
SkySkimmer:ci-install-hott
May 14, 2025 12:46 31m 45s
ci-algebra_tactics: disable native compute GitHub macOS CI #15981: Pull request #20636 synchronize by SkySkimmer
May 14, 2025 12:45 30m 51s SkySkimmer:ci-algtacs-nonative
SkySkimmer:ci-algtacs-nonative
May 14, 2025 12:45 30m 51s
Fix Print Ltac2.foo parsing GitHub macOS CI #15980: Pull request #20633 synchronize by SkySkimmer
May 14, 2025 12:43 25m 37s SkySkimmer:ltac2-fix-print
SkySkimmer:ltac2-fix-print
May 14, 2025 12:43 25m 37s
Use ; instead of | to separate sorts and univs (eg Type@{s;u}) GitHub macOS CI #15979: Pull request #20635 synchronize by SkySkimmer
May 14, 2025 12:41 27m 24s SkySkimmer:new-sort-sep-syntax
SkySkimmer:new-sort-sep-syntax
May 14, 2025 12:41 27m 24s
Use ; instead of | to separate sorts and univs (eg Type@{s;u}) GitHub macOS CI #15978: Pull request #20635 synchronize by SkySkimmer
May 14, 2025 12:40 23m 2s SkySkimmer:new-sort-sep-syntax
SkySkimmer:new-sort-sep-syntax
May 14, 2025 12:40 23m 2s
ci-algebra_tactics: disable native compute GitHub macOS CI #15977: Pull request #20636 opened by SkySkimmer
May 14, 2025 12:38 19m 36s SkySkimmer:ci-algtacs-nonative
SkySkimmer:ci-algtacs-nonative
May 14, 2025 12:38 19m 36s
Use ; instead of | to separate sorts and univs (eg Type@{s;u}) GitHub macOS CI #15976: Pull request #20635 opened by SkySkimmer
May 14, 2025 12:31 21m 38s SkySkimmer:new-sort-sep-syntax
SkySkimmer:new-sort-sep-syntax
May 14, 2025 12:31 21m 38s
Share closures in the VM. GitHub macOS CI #15975: Pull request #20634 opened by ppedrot
May 14, 2025 11:48 20m 32s ppedrot:vm-annotate-node-ast
ppedrot:vm-annotate-node-ast
May 14, 2025 11:48 20m 32s
An elimination constraint graph to manage elimination of sort variables GitHub macOS CI #15974: Pull request #20506 synchronize by jrosain
May 14, 2025 09:56 23m 15s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
May 14, 2025 09:56 23m 15s
Fix Print Ltac2.foo parsing GitHub macOS CI #15973: Pull request #20633 opened by SkySkimmer
May 14, 2025 09:39 20m 13s SkySkimmer:ltac2-fix-print
SkySkimmer:ltac2-fix-print
May 14, 2025 09:39 20m 13s
An elimination constraint graph to manage elimination of sort variables GitHub macOS CI #15972: Pull request #20506 synchronize by jrosain
May 14, 2025 07:13 20m 12s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
May 14, 2025 07:13 20m 12s
An elimination constraint graph to manage elimination of sort variables GitHub macOS CI #15971: Pull request #20506 synchronize by jrosain
May 14, 2025 06:49 20m 20s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
May 14, 2025 06:49 20m 20s
Stale PRs Stale PRs #968: Scheduled
May 14, 2025 02:33 1s master
master
May 14, 2025 02:33 1s
new Printing option: FullyQualifiedNames GitHub macOS CI #15970: Pull request #20615 synchronize by aa755
May 14, 2025 00:03 22m 18s aa755:fqnames
aa755:fqnames
May 14, 2025 00:03 22m 18s
[tauto] change proof search strategy GitHub macOS CI #15969: Pull request #20627 synchronize by fajb
May 13, 2025 22:30 22m 15s fajb:tauto
fajb:tauto
May 13, 2025 22:30 22m 15s
[tauto] change proof search strategy GitHub macOS CI #15968: Pull request #20627 synchronize by fajb
May 13, 2025 16:46 28m 0s fajb:tauto
fajb:tauto
May 13, 2025 16:46 28m 0s
[ci] Add Windows native job to Coq CI GitHub macOS CI #15967: Pull request #20464 synchronize by SkySkimmer
May 13, 2025 12:48 28m 44s ejgallego:ci+win_native
ejgallego:ci+win_native
May 13, 2025 12:48 28m 44s
[ci] Add Windows native job to Coq CI Windows CI #14933: Pull request #20464 synchronize by SkySkimmer
May 13, 2025 12:48 26m 22s ejgallego:ci+win_native
ejgallego:ci+win_native
May 13, 2025 12:48 26m 22s
An elimination constraint graph to manage elimination of sort variables GitHub macOS CI #15966: Pull request #20506 synchronize by jrosain
May 13, 2025 11:55 19m 2s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
May 13, 2025 11:55 19m 2s
Further simplify mangling of Ltac2 rec, allowing type ascription GitHub macOS CI #15965: Pull request #20630 opened by SkySkimmer
May 13, 2025 11:54 22m 52s SkySkimmer:further-simplify-let-rec
SkySkimmer:further-simplify-let-rec
May 13, 2025 11:54 22m 52s
Merge PR #20608: Use :flag: for mention of Printing Matching in doc Check conflicts #4578: Commit c2d8021 pushed by coqbot-app bot
May 13, 2025 08:50 2m 9s master
master
May 13, 2025 08:50 2m 9s
0