Skip to content

Actions: math-comp/Abel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
117 workflow runs
117 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updating nix and CI Nix CI for bundle coq-master #13: Pull request #102 opened by CohenCyril
2m 37s updateci
updateci
2m 37s
updating nix and CI Docker CI #225: Pull request #102 opened by CohenCyril
30m 13s updateci
updateci
30m 13s
updating nix and CI Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #10: Pull request #102 opened by CohenCyril
46s
46s
updating nix and CI Nix CI for bundle coq8.19+mcmathcomp-2.2.0 #30: Pull request #102 opened by CohenCyril
44s
44s
updating nix and CI Nix CI for bundle coq-master #12: Pull request #102 opened by CohenCyril
2m 27s
2m 27s
updating nix and CI Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #52: Pull request #102 opened by CohenCyril
43s
43s
updating nix and CI Nix CI for bundle coqmaster+mcmaster #128: Pull request #102 opened by CohenCyril
50s
50s
updating nix and CI Nix CI for bundle coq-9.0 #12: Pull request #102 opened by CohenCyril
49s
49s
Merge pull request #101 from proux01/ssrpat-FO-ignore-imparg Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #51: Commit 9a55f29 pushed by proux01
4m 2s master
master
4m 2s
Merge pull request #101 from proux01/ssrpat-FO-ignore-imparg Nix CI for bundle coq-9.0 #11: Commit 9a55f29 pushed by proux01
7m 36s master
master
7m 36s
Merge pull request #101 from proux01/ssrpat-FO-ignore-imparg Nix CI for bundle coqmaster+mcmaster #127: Commit 9a55f29 pushed by proux01
43s master
master
43s
Merge pull request #101 from proux01/ssrpat-FO-ignore-imparg Nix CI for bundle coq8.19+mcmathcomp-2.2.0 #29: Commit 9a55f29 pushed by proux01
4m 51s master
master
4m 51s
Merge pull request #101 from proux01/ssrpat-FO-ignore-imparg Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #9: Commit 9a55f29 pushed by proux01
9m 1s master
master
9m 1s
Merge pull request #101 from proux01/ssrpat-FO-ignore-imparg Nix CI for bundle coq-master #11: Commit 9a55f29 pushed by proux01
3m 20s master
master
3m 20s
Merge pull request #101 from proux01/ssrpat-FO-ignore-imparg Docker CI #224: Commit 9a55f29 pushed by proux01
18m 1s master
master
18m 1s
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