Skip to content

Actions: math-comp/Abel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Abel-Galois for any characteristic Docker CI #226: Pull request #83 synchronize by Tragicus
29m 27s Tragicus:AG
Tragicus:AG
29m 27s
Abel-Galois for any characteristic Nix CI for bundle coq-master #14: Pull request #83 synchronize by Tragicus
7m 47s
7m 47s
Abel-Galois for any characteristic Nix CI for bundle coq-9.0 #13: Pull request #83 synchronize by Tragicus
9m 2s
9m 2s
Abel-Galois for any characteristic Nix CI for bundle coqmaster+mcmaster #129: Pull request #83 synchronize by Tragicus
46s
46s
Abel-Galois for any characteristic Nix CI for bundle coq8.19+mcmathcomp-2.2.0 #31: Pull request #83 synchronize by Tragicus
3m 47s
3m 47s
Abel-Galois for any characteristic Nix CI for bundle coq8.18+mcmathcomp-2.1.0 #53: Pull request #83 synchronize by Tragicus
3m 33s
3m 33s
Abel-Galois for any characteristic Nix CI for bundle coq8.20+mcmathcomp-2.3.0 #11: Pull request #83 synchronize by Tragicus
7m 22s
7m 22s
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