Skip to content

Actions: math-comp/Abel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
146 workflow runs
146 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to https://github.com/rocq-prover/rocq/pull/20707 Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #8: Pull request #101 opened by proux01
5m 48s
5m 48s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Nix CI for bundle coq8.19+mcmathcomp-2.2.0 #28: Pull request #101 opened by proux01
4m 3s
4m 3s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Docker CI #223: Pull request #101 opened by proux01
31m 46s proux01:ssrpat-FO-ignore-imparg
proux01:ssrpat-FO-ignore-imparg
31m 46s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Nix CI for bundle coq-9.0 #10: Pull request #101 opened by proux01
4m 56s
4m 56s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Nix CI for bundle coqmaster+mcmaster #126: Pull request #101 opened by proux01
41s
41s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #50: Pull request #101 opened by proux01
3m 46s
3m 46s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Nix CI for bundle coq-master #10: Pull request #101 opened by proux01
7m 23s
7m 23s
Merge pull request #100 from proux01/mc1110 Docker CI #222: Commit e67332f pushed by CohenCyril
31m 59s master
master
31m 59s
Merge pull request #100 from proux01/mc1110 Nix CI for bundle coq8.19+mcmathcomp-2.2.0 #27: Commit e67332f pushed by CohenCyril
4m 19s master
master
4m 19s
Merge pull request #100 from proux01/mc1110 Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #7: Commit e67332f pushed by CohenCyril
5m 43s master
master
5m 43s
Merge pull request #100 from proux01/mc1110 Nix CI for bundle coq-master #9: Commit e67332f pushed by CohenCyril
7m 16s master
master
7m 16s
Merge pull request #100 from proux01/mc1110 Nix CI for bundle coqmaster+mcmaster #125: Commit e67332f pushed by CohenCyril
41s master
master
41s
Merge pull request #100 from proux01/mc1110 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #49: Commit e67332f pushed by CohenCyril
4m 21s master
master
4m 21s
Merge pull request #100 from proux01/mc1110 Nix CI for bundle coq-9.0 #9: Commit e67332f pushed by CohenCyril
3m 8s master
master
3m 8s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Docker CI #221: Pull request #100 opened by proux01
5m 52s proux01:mc1110
proux01:mc1110
5m 52s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #6: Pull request #100 opened by proux01
8m 1s
8m 1s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #48: Pull request #100 opened by proux01
4m 42s
4m 42s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Nix CI for bundle coqmaster+mcmaster #124: Pull request #100 opened by proux01
45s
45s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Nix CI for bundle coq-9.0 #8: Pull request #100 opened by proux01
7m 26s
7m 26s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Nix CI for bundle coq8.19+mcmathcomp-2.2.0 #26: Pull request #100 opened by proux01
4m 0s
4m 0s
Adapt to https://github.com/math-comp/math-comp/pull/1110 Nix CI for bundle coq-master #8: Pull request #100 opened by proux01
10m 23s
10m 23s
Merge pull request #99 from math-comp/revert-98-mc1352 Nix CI for bundle coq-master #7: Commit da027c0 pushed by CohenCyril
3m 17s master
master
3m 17s
Merge pull request #99 from math-comp/revert-98-mc1352 Nix CI for bundle coqmaster+mcmaster #123: Commit da027c0 pushed by CohenCyril
42s master
master
42s
Merge pull request #99 from math-comp/revert-98-mc1352 Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #5: Commit da027c0 pushed by CohenCyril
5m 37s master
master
5m 37s
Merge pull request #99 from math-comp/revert-98-mc1352 Nix CI for bundle coq-9.0 #7: Commit da027c0 pushed by CohenCyril
3m 2s master
master
3m 2s