Skip to content

Actions: rocq-community/fourcolor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
273 workflow runs
273 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #77 from rocq-community/rocq21849 Nix CI for bundle 8.20 #29: Commit f2fcc83 pushed by proux01
1m 53s master
master
1m 53s
Merge pull request #77 from rocq-community/rocq21849 Docker CI #1066: Commit f2fcc83 pushed by proux01
15m 52s master
master
15m 52s
Merge pull request #77 from rocq-community/rocq21849 Nix CI for bundle 9.0 #29: Commit f2fcc83 pushed by proux01
14m 1s master
master
14m 1s
Merge pull request #77 from rocq-community/rocq21849 Nix CI for bundle master #29: Commit f2fcc83 pushed by proux01
7m 8s master
master
7m 8s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 Docker CI #1065: Pull request #77 opened by proux01
15m 41s rocq21849
rocq21849
15m 41s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 Nix CI for bundle 9.0 #28: Pull request #77 opened by proux01
37m 53s
37m 53s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 Nix CI for bundle 8.20 #28: Pull request #77 opened by proux01
1m 55s
1m 55s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 Nix CI for bundle master #28: Pull request #77 opened by proux01
7m 18s
7m 18s
Docker CI Docker CI #1064: Scheduled
15m 40s master
master
15m 40s
Docker CI Docker CI #1063: Scheduled
15m 32s master
master
15m 32s
Docker CI Docker CI #1062: Scheduled
15m 19s master
master
15m 19s
Docker CI Docker CI #1061: Scheduled
15m 31s master
master
15m 31s
Merge pull request #76 from rocq-community/mc1545 Nix CI for bundle 9.0 #27: Commit 43a1b51 pushed by proux01
41m 49s master
master
41m 49s
Merge pull request #76 from rocq-community/mc1545 Nix CI for bundle 8.20 #27: Commit 43a1b51 pushed by proux01
18m 49s master
master
18m 49s
Merge pull request #76 from rocq-community/mc1545 Nix CI for bundle master #27: Commit 43a1b51 pushed by proux01
21m 46s master
master
21m 46s
Merge pull request #76 from rocq-community/mc1545 Docker CI #1060: Commit 43a1b51 pushed by proux01
3m 10s master
master
3m 10s
Docker CI Docker CI #1059: Scheduled
15m 25s master
master
15m 25s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Docker CI #1058: Pull request #76 synchronize by proux01
16m 18s mc1545
mc1545
16m 18s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle 8.20 #26: Pull request #76 synchronize by proux01
4m 20s
4m 20s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle master #26: Pull request #76 synchronize by proux01
6m 42s
6m 42s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle 9.0 #26: Pull request #76 synchronize by proux01
26m 49s
26m 49s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Docker CI #1057: Pull request #76 opened by proux01
15m 41s mc1545
mc1545
15m 41s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle master #25: Pull request #76 opened by proux01
7m 14s
7m 14s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle 8.20 #25: Pull request #76 opened by proux01
1m 58s
1m 58s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle 9.0 #25: Pull request #76 opened by proux01
38m 31s
38m 31s