Skip to content

Actions: rocq-community/coqeal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
282 workflow runs
282 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #119 from proux01/rocq21611 Nix CI for bundle rocq-9.0 #49: Commit f58d136 pushed by proux01
3m 35s master
master
3m 35s
Merge pull request #119 from proux01/rocq21611 Nix CI for bundle coq-master #72: Commit f58d136 pushed by proux01
7m 45s master
master
7m 45s
Merge pull request #119 from proux01/rocq21611 Docker CI #213: Commit f58d136 pushed by proux01
14m 48s master
master
14m 48s
Merge pull request #119 from proux01/rocq21611 Nix CI for bundle coq-8.20 #76: Commit f58d136 pushed by proux01
7m 0s master
master
7m 0s
Merge pull request #119 from proux01/rocq21611 Nix CI for bundle rocq-9.1 #23: Commit f58d136 pushed by proux01
3m 44s master
master
3m 44s
Adapt to https://github.com/rocq-prover/rocq/pull/21611 Docker CI #212: Pull request #119 opened by proux01
13m 29s proux01:rocq21611
proux01:rocq21611
13m 29s
Adapt to https://github.com/rocq-prover/rocq/pull/21611 Nix CI for bundle rocq-9.1 #22: Pull request #119 opened by proux01
14m 12s
14m 12s
Adapt to https://github.com/rocq-prover/rocq/pull/21611 Nix CI for bundle coq-master #71: Pull request #119 opened by proux01
7m 50s
7m 50s
Adapt to https://github.com/rocq-prover/rocq/pull/21611 Nix CI for bundle coq-8.20 #75: Pull request #119 opened by proux01
6m 13s
6m 13s
Adapt to https://github.com/rocq-prover/rocq/pull/21611 Nix CI for bundle rocq-9.0 #48: Pull request #119 opened by proux01
14m 12s
14m 12s
Merge pull request #118 from proux01/mc1545 Nix CI for bundle coq-master #70: Commit c294f99 pushed by proux01
51m 50s master
master
51m 50s
Merge pull request #118 from proux01/mc1545 Nix CI for bundle coq-8.20 #74: Commit c294f99 pushed by proux01
6m 19s master
master
6m 19s
Merge pull request #118 from proux01/mc1545 Docker CI #211: Commit c294f99 pushed by proux01
13m 23s master
master
13m 23s
Merge pull request #118 from proux01/mc1545 Nix CI for bundle rocq-9.1 #21: Commit c294f99 pushed by proux01
11m 56s master
master
11m 56s
Merge pull request #118 from proux01/mc1545 Nix CI for bundle rocq-9.0 #47: Commit c294f99 pushed by proux01
14m 14s master
master
14m 14s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Docker CI #210: Pull request #118 opened by proux01
13m 33s proux01:mc1545
proux01:mc1545
13m 33s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle coq-master #69: Pull request #118 opened by proux01
31m 5s
31m 5s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle coq-8.20 #73: Pull request #118 opened by proux01
8m 47s
8m 47s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle rocq-9.0 #46: Pull request #118 opened by proux01
12m 11s
12m 11s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle rocq-9.1 #20: Pull request #118 opened by proux01
14m 45s
14m 45s
Merge pull request #117 from rocq-community/tact Docker CI #209: Commit a1a16d1 pushed by proux01
13m 36s master
master
13m 36s
Merge pull request #117 from rocq-community/tact Nix CI for bundle coq-master #68: Commit a1a16d1 pushed by proux01
4m 51s master
master
4m 51s
Merge pull request #117 from rocq-community/tact Nix CI for bundle rocq-9.0 #45: Commit a1a16d1 pushed by proux01
9m 41s master
master
9m 41s
Merge pull request #117 from rocq-community/tact Nix CI for bundle rocq-9.1 #19: Commit a1a16d1 pushed by proux01
3m 34s master
master
3m 34s
Merge pull request #117 from rocq-community/tact Nix CI for bundle coq-8.20 #72: Commit a1a16d1 pushed by proux01
2m 21s master
master
2m 21s