Skip to content

Actions: math-comp/Abel

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #104 from proux01/rocq21611 Docker CI #230: Commit 4694405 pushed by proux01
29m 56s master
master
29m 56s
Adapt to https://github.com/rocq-prover/rocq/pull/21611 Docker CI #229: Pull request #104 opened by proux01
29m 20s proux01:rocq21611
proux01:rocq21611
29m 20s
Merge pull request #103 from proux01/mc1545 Docker CI #228: Commit 24703d7 pushed by proux01
29m 16s master
master
29m 16s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Docker CI #227: Pull request #103 opened by proux01
27m 45s proux01:mc1545
proux01:mc1545
27m 45s
Abel-Galois for any characteristic Docker CI #226: Pull request #83 synchronize by Tragicus
29m 27s Tragicus:AG
Tragicus:AG
29m 27s
updating nix and CI Docker CI #225: Pull request #102 opened by CohenCyril
30m 13s updateci
updateci
30m 13s
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 Docker CI #223: Pull request #101 opened by proux01
31m 46s proux01:ssrpat-FO-ignore-imparg
proux01:ssrpat-FO-ignore-imparg
31m 46s
Merge pull request #100 from proux01/mc1110 Docker CI #222: Commit e67332f pushed by CohenCyril
31m 59s master
master
31m 59s
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
Merge pull request #99 from math-comp/revert-98-mc1352 Docker CI #220: Commit da027c0 pushed by CohenCyril
6m 49s master
master
6m 49s
Revert "Adapt to https://github.com/math-comp/math-comp/pull/1352" Docker CI #219: Pull request #99 opened by proux01
11m 0s revert-98-mc1352
revert-98-mc1352
11m 0s
Merge pull request #98 from proux01/mc1352 Docker CI #218: Commit 371d626 pushed by CohenCyril
7m 52s master
master
7m 52s
Adapt to https://github.com/math-comp/math-comp/pull/1352 Docker CI #217: Pull request #98 opened by proux01
6m 49s proux01:mc1352
proux01:mc1352
6m 49s
Merge pull request #97 from proux01/no-stdlib Docker CI #216: Commit 05b1b9a pushed by CohenCyril
7m 1s master
master
7m 1s
Remove Stdlib dependency Docker CI #215: Pull request #97 synchronize by proux01
30m 38s proux01:no-stdlib
proux01:no-stdlib
30m 38s
Remove Stdlib dependency Docker CI #214: Pull request #97 synchronize by proux01
20m 45s proux01:no-stdlib
proux01:no-stdlib
20m 45s
Remove Stdlib dependency Docker CI #213: Pull request #97 synchronize by proux01
17m 46s proux01:no-stdlib
proux01:no-stdlib
17m 46s
Remove Stdlib dependency Docker CI #212: Pull request #97 opened by proux01
13m 52s proux01:no-stdlib
proux01:no-stdlib
13m 52s
Merge pull request #96 from proux01/mc1343 Docker CI #211: Commit 08f7100 pushed by CohenCyril
17m 45s master
master
17m 45s