Skip to content

Actions: math-comp/finmap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
625 workflow runs
625 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to https://github.com/math-comp/math-comp/pull/1545 (#152) Nix CI for bundle 9.0 #127: Commit 4984dd9 pushed by proux01
Queued master
master
Queued
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#152) Nix CI for bundle master #156: Commit 4984dd9 pushed by proux01
Queued master
master
Queued
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#152) Docker CI #178: Commit 4984dd9 pushed by proux01
Queued master
master
Queued
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#152) Nix CI for bundle 8.20 #137: Commit 4984dd9 pushed by proux01
Queued master
master
Queued
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#152) Nix CI for bundle 9.1 #26: Commit 4984dd9 pushed by proux01
Queued master
master
Queued
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
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle 9.0 #126: Pull request #152 synchronize by proux01
18m 43s
18m 43s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle 8.20 #136: Pull request #152 synchronize by proux01
7m 50s
7m 50s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle 9.1 #25: Pull request #152 synchronize by proux01
6m 0s
6m 0s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle master #155: Pull request #152 synchronize by proux01
19m 57s
19m 57s
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
from MathComp-Analysis' unstable.v Nix CI for bundle 8.20 #135: Pull request #149 synchronize by affeldt-aist
3m 50s
3m 50s
from MathComp-Analysis' unstable.v Nix CI for bundle 9.1 #24: Pull request #149 synchronize by affeldt-aist
4m 36s
4m 36s
from MathComp-Analysis' unstable.v Nix CI for bundle 9.0 #125: Pull request #149 synchronize by affeldt-aist
4m 35s
4m 35s
from MathComp-Analysis' unstable.v Nix CI for bundle master #154: Pull request #149 synchronize by affeldt-aist
6m 2s
6m 2s
Merge pull request #153 from arthuraa/finperm Nix CI for bundle master #153: Commit 3ead478 pushed by CohenCyril
4m 37s master
master
4m 37s
Merge pull request #153 from arthuraa/finperm Nix CI for bundle 8.20 #134: Commit 3ead478 pushed by CohenCyril
2m 2s master
master
2m 2s
Merge pull request #153 from arthuraa/finperm Docker CI #175: Commit 3ead478 pushed by CohenCyril
3m 40s master
master
3m 40s
Merge pull request #153 from arthuraa/finperm Nix CI for bundle 9.1 #23: Commit 3ead478 pushed by CohenCyril
3m 44s master
master
3m 44s
Merge pull request #153 from arthuraa/finperm Nix CI for bundle 9.0 #124: Commit 3ead478 pushed by CohenCyril
3m 31s master
master
3m 31s
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. Nix CI for bundle master #152: Pull request #153 synchronize by CohenCyril
4m 20s
4m 20s
Add a theory of finite permutations. Nix CI for bundle 9.1 #22: Pull request #153 synchronize by CohenCyril
3m 28s
3m 28s
Add a theory of finite permutations. Nix CI for bundle 8.20 #133: Pull request #153 synchronize by CohenCyril
1m 35s
1m 35s
Add a theory of finite permutations. Nix CI for bundle 9.0 #123: Pull request #153 synchronize by CohenCyril
3m 0s
3m 0s