Skip to content

Actions: rocq-prover/rocq

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Custom entries don't use physical equality for eext_eq Windows CI #14662: Pull request #20509 opened by SkySkimmer
April 12, 2025 17:52 In progress SkySkimmer:eext-eq
SkySkimmer:eext-eq
April 12, 2025 17:52 In progress
Custom entries don't use physical equality for eext_eq GitHub macOS CI #15619: Pull request #20509 opened by SkySkimmer
April 12, 2025 17:52 In progress SkySkimmer:eext-eq
SkySkimmer:eext-eq
April 12, 2025 17:52 In progress
Merge PR #20452: Drop: use findlib instead of Boot.Env Check conflicts #4503: Commit d78d3d2 pushed by coqbot-app bot
April 11, 2025 16:44 2m 14s master
master
April 11, 2025 16:44 2m 14s
Merge PR #20452: Drop: use findlib instead of Boot.Env Windows CI #14661: Commit d78d3d2 pushed by coqbot-app bot
April 11, 2025 16:44 59m 26s master
master
April 11, 2025 16:44 59m 26s
Merge PR #20452: Drop: use findlib instead of Boot.Env GitHub macOS CI #15618: Commit d78d3d2 pushed by coqbot-app bot
April 11, 2025 16:44 24m 45s master
master
April 11, 2025 16:44 24m 45s
[ci] Add Windows native job to Coq CI Windows CI #14660: Pull request #20464 synchronize by SkySkimmer
April 11, 2025 14:59 28m 34s ejgallego:ci+win_native
ejgallego:ci+win_native
April 11, 2025 14:59 28m 34s
[ci] Add Windows native job to Coq CI GitHub macOS CI #15617: Pull request #20464 synchronize by SkySkimmer
April 11, 2025 14:59 1s ejgallego:ci+win_native
ejgallego:ci+win_native
April 11, 2025 14:59 1s
[ci] Add Windows native job to Coq CI GitHub macOS CI #15616: Pull request #20464 synchronize by SkySkimmer
April 11, 2025 14:45 1s ejgallego:ci+win_native
ejgallego:ci+win_native
April 11, 2025 14:45 1s
[ci] Add Windows native job to Coq CI Windows CI #14659: Pull request #20464 synchronize by SkySkimmer
April 11, 2025 14:45 12m 42s ejgallego:ci+win_native
ejgallego:ci+win_native
April 11, 2025 14:45 12m 42s
An elimination constraint graph to manage elimination of sort variables Windows CI #14658: Pull request #20506 synchronize by jrosain
April 11, 2025 14:36 56m 33s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
April 11, 2025 14:36 56m 33s
An elimination constraint graph to manage elimination of sort variables GitHub macOS CI #15615: Pull request #20506 synchronize by jrosain
April 11, 2025 14:36 24m 27s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
April 11, 2025 14:36 24m 27s
Merge PR #20507: Change outdated comment in kernel/vars.ml Check conflicts #4502: Commit 4070b6b pushed by coqbot-app bot
April 11, 2025 14:33 3m 13s master
master
April 11, 2025 14:33 3m 13s
Merge PR #20507: Change outdated comment in kernel/vars.ml Windows CI #14657: Commit 4070b6b pushed by coqbot-app bot
April 11, 2025 14:33 1h 5m 16s master
master
April 11, 2025 14:33 1h 5m 16s
Merge PR #20507: Change outdated comment in kernel/vars.ml GitHub macOS CI #15614: Commit 4070b6b pushed by coqbot-app bot
April 11, 2025 14:33 28m 23s master
master
April 11, 2025 14:33 28m 23s
Change outdated comment in kernel/vars.ml Windows CI #14656: Pull request #20507 opened by blume0
April 11, 2025 14:31 1h 5m 43s blume0:kernel_vars_comment
blume0:kernel_vars_comment
April 11, 2025 14:31 1h 5m 43s
Change outdated comment in kernel/vars.ml GitHub macOS CI #15613: Pull request #20507 opened by blume0
April 11, 2025 14:31 20m 46s blume0:kernel_vars_comment
blume0:kernel_vars_comment
April 11, 2025 14:31 20m 46s
An elimination constraint graph to manage elimination of sort variables Windows CI #14655: Pull request #20506 opened by jrosain
April 11, 2025 14:27 1h 5m 35s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
April 11, 2025 14:27 1h 5m 35s
An elimination constraint graph to manage elimination of sort variables GitHub macOS CI #15612: Pull request #20506 opened by jrosain
April 11, 2025 14:27 11m 31s jrosain:elimination-constraints-graph
jrosain:elimination-constraints-graph
April 11, 2025 14:27 11m 31s
[ci] Add Windows native job to Coq CI Windows CI #14654: Pull request #20464 synchronize by SkySkimmer
April 11, 2025 14:05 5m 14s ejgallego:ci+win_native
ejgallego:ci+win_native
April 11, 2025 14:05 5m 14s
[ci] Add Windows native job to Coq CI GitHub macOS CI #15611: Pull request #20464 synchronize by SkySkimmer
April 11, 2025 14:05 1s ejgallego:ci+win_native
ejgallego:ci+win_native
April 11, 2025 14:05 1s
[ci] Add Windows native job to Coq CI GitHub macOS CI #15610: Pull request #20464 synchronize by SkySkimmer
April 11, 2025 14:00 1s ejgallego:ci+win_native
ejgallego:ci+win_native
April 11, 2025 14:00 1s
[ci] Add Windows native job to Coq CI Windows CI #14653: Pull request #20464 synchronize by SkySkimmer
April 11, 2025 14:00 9m 18s ejgallego:ci+win_native
ejgallego:ci+win_native
April 11, 2025 14:00 9m 18s
[ci] Add Windows native job to Coq CI Windows CI #14652: Pull request #20464 synchronize by SkySkimmer
April 11, 2025 13:59 7m 31s ejgallego:ci+win_native
ejgallego:ci+win_native
April 11, 2025 13:59 7m 31s
[ci] Add Windows native job to Coq CI GitHub macOS CI #15609: Pull request #20464 synchronize by SkySkimmer
April 11, 2025 13:59 1s ejgallego:ci+win_native
ejgallego:ci+win_native
April 11, 2025 13:59 1s
Delete coq, rocq-prover packages, add rocq-test-suite package Windows CI #14651: Pull request #20499 synchronize by SkySkimmer
April 11, 2025 13:56 1h 0m 19s SkySkimmer:del-foreign-opam
SkySkimmer:del-foreign-opam
April 11, 2025 13:56 1h 0m 19s