Skip to content

Actions: math-comp/finmap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
615 workflow runs
615 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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. Nix CI for bundle 9.0 #122: Pull request #153 synchronize by CohenCyril
4m 24s
4m 24s
Add a theory of finite permutations. Nix CI for bundle 9.1 #21: Pull request #153 synchronize by CohenCyril
4m 15s
4m 15s
Add a theory of finite permutations. Nix CI for bundle 8.20 #132: Pull request #153 synchronize by CohenCyril
4m 15s
4m 15s
Add a theory of finite permutations. Nix CI for bundle master #151: Pull request #153 synchronize by CohenCyril
5m 12s
5m 12s
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. Nix CI for bundle 9.1 #20: Pull request #153 synchronize by CohenCyril
5m 29s
5m 29s
Add a theory of finite permutations. Nix CI for bundle 9.0 #121: Pull request #153 synchronize by CohenCyril
5m 24s
5m 24s
Add a theory of finite permutations. Nix CI for bundle master #150: Pull request #153 synchronize by CohenCyril
6m 27s
6m 27s
Add a theory of finite permutations. Nix CI for bundle 8.20 #131: Pull request #153 synchronize by CohenCyril
4m 16s
4m 16s