Skip to content

Actions: math-comp/real-closed

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #81 from math-comp/mc1433 Docker CI #118: Commit d2e1636 pushed by CohenCyril
4m 52s master
master
4m 52s
Adapt to math-comp/math-comp#1433 Docker CI #117: Pull request #81 synchronize by pi8027
4m 53s mc1433
mc1433
4m 53s
Adapt to math-comp/math-comp#1433 Docker CI #116: Pull request #81 opened by pi8027
3m 50s mc1433
mc1433
3m 50s
Merge pull request #76 from Tragicus/complex Docker CI #115: Commit 94cb6a2 pushed by proux01
4m 2s master
master
4m 2s
Correct instances on Rcomplex Docker CI #114: Pull request #76 synchronize by proux01
6m 11s Tragicus:complex
Tragicus:complex
6m 11s
Merge pull request #80 from proux01/drop820 Docker CI #113: Commit c51181b pushed by proux01
4m 4s master
master
4m 4s
Drop support for 8.20 and add 9.1 in CI Docker CI #112: Pull request #80 synchronize by proux01
4m 5s proux01:drop820
proux01:drop820
4m 5s
Drop support for 8.20 and add 9.1 in CI Docker CI #111: Pull request #80 synchronize by proux01
3m 53s proux01:drop820
proux01:drop820
3m 53s
Drop support for 8.20 and add 9.1 in CI Docker CI #110: Pull request #80 synchronize by proux01
3m 50s proux01:drop820
proux01:drop820
3m 50s
Drop support for 8.20 and add 9.1 in CI Docker CI #109: Pull request #80 opened by proux01
4m 14s proux01:drop820
proux01:drop820
4m 14s
Merge pull request #78 from proux01/ssrpat-FO-ignore-imparg Docker CI #108: Commit e0122d1 pushed by proux01
13m 16s master
master
13m 16s
Adapt to https://github.com/rocq-prover/rocq/pull/20707 Docker CI #107: Pull request #78 opened by proux01
13m 20s proux01:ssrpat-FO-ignore-imparg
proux01:ssrpat-FO-ignore-imparg
13m 20s
Merge pull request #77 from proux01/coq_17876 Docker CI #106: Commit 3905d69 pushed by proux01
6m 32s master
master
6m 32s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Docker CI #105: Pull request #77 synchronize by proux01
6m 18s proux01:coq_17876
proux01:coq_17876
6m 18s
Adapt to https://github.com/rocq-prover/rocq/pull/17876 Docker CI #104: Pull request #77 opened by proux01
9m 25s proux01:coq_17876
proux01:coq_17876
9m 25s
Correct instances on Rcomplex Docker CI #103: Pull request #76 opened by Tragicus
23m 59s Tragicus:complex
Tragicus:complex
23m 59s
Merge pull request #74 from math-comp/semi-poly Docker CI #102: Commit 2396265 pushed by CohenCyril
5m 42s master
master
5m 42s
Adapt to math-comp/math-comp#1395 Docker CI #101: Pull request #74 synchronize by CohenCyril
15m 27s semi-poly
semi-poly
15m 27s
Adapt to math-comp/math-comp#1395 Docker CI #100: Pull request #74 synchronize by pi8027
8m 49s semi-poly
semi-poly
8m 49s
Adapt to math-comp/math-comp#1395 Docker CI #99: Pull request #74 synchronize by pi8027
5m 17s semi-poly
semi-poly
5m 17s
Adapt to math-comp/math-comp#1395 Docker CI #98: Pull request #74 synchronize by pi8027
9m 1s semi-poly
semi-poly
9m 1s
Adapt to math-comp/math-comp#1395 Docker CI #97: Pull request #74 opened by pi8027
5m 22s semi-poly
semi-poly
5m 22s
Merge pull request #73 from proux01/mc1354 Docker CI #96: Commit 080b877 pushed by proux01
5m 18s master
master
5m 18s
Adapt to https://github.com/math-comp/math-comp/pull/1354 Docker CI #95: Pull request #73 opened by proux01
13m 48s proux01:mc1354
proux01:mc1354
13m 48s
Merge pull request #72 from proux01/mc1258 Docker CI #94: Commit be97429 pushed by proux01
15m 9s master
master
15m 9s