Skip to content

Actions: math-comp/finmap

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Adapt to https://github.com/rocq-prover/rocq/pull/21849 (#155) Docker CI #182: Commit 53239c7 pushed by proux01
14m 32s master
master
14m 32s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 Docker CI #181: Pull request #155 opened by proux01
14m 54s proux01:rocq21849
proux01:rocq21849
14m 54s
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#154) Docker CI #180: Commit df2a7f9 pushed by proux01
19m 28s master
master
19m 28s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Docker CI #179: Pull request #154 opened by proux01
15m 48s proux01:mc1545
proux01:mc1545
15m 48s
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#152) Docker CI #178: Commit 4984dd9 pushed by proux01
19m 15s master
master
19m 15s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Docker CI #177: Pull request #152 synchronize by proux01
20m 38s proux01:mc1545
proux01:mc1545
20m 38s
from MathComp-Analysis' unstable.v Docker CI #176: Pull request #149 synchronize by affeldt-aist
3m 34s affeldt-aist:unstable_20260101
affeldt-aist:unstable_20260101
3m 34s
Merge pull request #153 from arthuraa/finperm Docker CI #175: Commit 3ead478 pushed by CohenCyril
3m 40s master
master
3m 40s
Add a theory of finite permutations. Docker CI #174: Pull request #153 synchronize by CohenCyril
3m 4s arthuraa:finperm
arthuraa:finperm
3m 4s
Add a theory of finite permutations. Docker CI #173: Pull request #153 synchronize by CohenCyril
3m 37s arthuraa:finperm
arthuraa:finperm
3m 37s
Add a theory of finite permutations. Docker CI #172: Pull request #153 synchronize by CohenCyril
4m 2s arthuraa:finperm
arthuraa:finperm
4m 2s
Add a theory of finite permutations. Docker CI #171: Pull request #153 synchronize by CohenCyril
5m 38s arthuraa:finperm
arthuraa:finperm
5m 38s
Add a theory of finite permutations. Docker CI #170: Pull request #153 synchronize by CohenCyril
5m 56s arthuraa:finperm
arthuraa:finperm
5m 56s
Add a theory of finite permutations. Docker CI #169: Pull request #153 synchronize by CohenCyril
19m 26s arthuraa:finperm
arthuraa:finperm
19m 26s
Merge pull request #144 from math-comp/cleanup-phant Docker CI #168: Commit ffb519b pushed by CohenCyril
19m 37s master
master
19m 37s
Add a theory of finite permutations. Docker CI #167: Pull request #153 opened by arthuraa
3m 44s arthuraa:finperm
arthuraa:finperm
3m 44s
Port to Elpi mlock Docker CI #166: Pull request #144 synchronize by pi8027
6m 56s cleanup-phant
cleanup-phant
6m 56s
Update Docker/Nix CI (#151) Docker CI #165: Commit 04f70a5 pushed by proux01
4m 2s master
master
4m 2s
Update Docker/Nix CI Docker CI #164: Pull request #151 synchronize by pi8027
4m 39s ci
ci
4m 39s
Update Docker/Nix CI Docker CI #163: Pull request #151 synchronize by pi8027
5m 52s ci
ci
5m 52s
Update Docker/Nix CI Docker CI #162: Pull request #151 synchronize by pi8027
3m 47s ci
ci
3m 47s
Update Docker/Nix CI Docker CI #161: Pull request #151 synchronize by pi8027
3m 47s ci
ci
3m 47s
Update Docker/Nix CI Docker CI #160: Pull request #151 synchronize by pi8027
4m 0s ci
ci
4m 0s
Update Docker/Nix CI Docker CI #159: Pull request #151 synchronize by pi8027
4m 44s ci
ci
4m 44s
Update Docker/Nix CI Docker CI #158: Pull request #151 synchronize by pi8027
3m 50s ci
ci
3m 50s