Skip to content

Actions: math-comp/odd-order

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
551 workflow runs
551 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #999: Scheduled
3m 18s master
master
3m 18s
CI CI #998: Scheduled
3m 24s master
master
3m 24s
CI CI #997: Scheduled
3m 29s master
master
3m 29s
CI CI #996: Scheduled
3m 21s master
master
3m 21s
adapt to rocq-prover/rocq#20707 CI #995: Pull request #69 synchronize by gares
12m 25s gares:ssrpat-FO-ignore-imparg
gares:ssrpat-FO-ignore-imparg
12m 25s
adapt to rocq-prover/rocq#20707 Nix CI for bundle master #112: Pull request #69 synchronize by gares
1m 23s
1m 23s
adapt to rocq-prover/rocq#20707 Nix CI for bundle 8.20 #60: Pull request #69 synchronize by gares
12m 52s
12m 52s
adapt to rocq-prover/rocq#20707 Nix CI for bundle 9.0 #33: Pull request #69 synchronize by gares
10m 7s
10m 7s
adapt to rocq-prover/rocq#20707 CI #994: Pull request #69 synchronize by gares
12m 14s gares:ssrpat-FO-ignore-imparg
gares:ssrpat-FO-ignore-imparg
12m 14s
adapt to rocq-prover/rocq#20707 Nix CI for bundle master #111: Pull request #69 synchronize by gares
3m 49s
3m 49s
adapt to rocq-prover/rocq#20707 Nix CI for bundle 9.0 #32: Pull request #69 synchronize by gares
10m 20s
10m 20s
adapt to rocq-prover/rocq#20707 Nix CI for bundle 8.20 #59: Pull request #69 synchronize by gares
12m 57s
12m 57s
Merge pull request #70 from proux01/coq_17876 CI #993: Commit babf904 pushed by proux01
11m 18s master
master
11m 18s
Merge pull request #70 from proux01/coq_17876 Nix CI for bundle master #110: Commit babf904 pushed by proux01
6m 11s master
master
6m 11s
Merge pull request #70 from proux01/coq_17876 Nix CI for bundle 8.20 #58: Commit babf904 pushed by proux01
13m 7s master
master
13m 7s
Merge pull request #70 from proux01/coq_17876 Nix CI for bundle 9.0 #31: Commit babf904 pushed by proux01
10m 0s master
master
10m 0s
CI CI #992: Scheduled
12m 20s master
master
12m 20s
adapt to rocq-prover/rocq#20707 CI #991: Pull request #69 synchronize by gares
13m 14s gares:ssrpat-FO-ignore-imparg
gares:ssrpat-FO-ignore-imparg
13m 14s
adapt to rocq-prover/rocq#20707 Nix CI for bundle master #109: Pull request #69 synchronize by gares
4m 9s
4m 9s
adapt to rocq-prover/rocq#20707 Nix CI for bundle 9.0 #30: Pull request #69 synchronize by gares
5m 53s
5m 53s
adapt to rocq-prover/rocq#20707 Nix CI for bundle 8.20 #57: Pull request #69 synchronize by gares
6m 54s
6m 54s
adapt to rocq-prover/rocq#20707 CI #990: Pull request #69 synchronize by gares
12m 30s gares:ssrpat-FO-ignore-imparg
gares:ssrpat-FO-ignore-imparg
12m 30s
adapt to rocq-prover/rocq#20707 Nix CI for bundle 8.20 #56: Pull request #69 synchronize by gares
7m 5s
7m 5s
adapt to rocq-prover/rocq#20707 Nix CI for bundle 9.0 #29: Pull request #69 synchronize by gares
5m 55s
5m 55s
adapt to rocq-prover/rocq#20707 Nix CI for bundle master #108: Pull request #69 synchronize by gares
3m 44s
3m 44s
ProTip! You can narrow down the results and go further in time using created:<2025-06-18 or the other filters available.