Skip to content

Actions: math-comp/finmap

Actions

Nix CI for bundle 9.1

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-9.1.yml
30 workflow runs
30 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) Nix CI for bundle 9.1 #30: Commit 53239c7 pushed by proux01
1m 59s master
master
1m 59s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 Nix CI for bundle 9.1 #29: Pull request #155 opened by proux01
4m 12s
4m 12s
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#154) Nix CI for bundle 9.1 #28: Commit df2a7f9 pushed by proux01
7m 39s master
master
7m 39s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle 9.1 #27: Pull request #154 opened by proux01
6m 32s
6m 32s
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#152) Nix CI for bundle 9.1 #26: Commit 4984dd9 pushed by proux01
11m 47s master
master
11m 47s
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
from MathComp-Analysis' unstable.v Nix CI for bundle 9.1 #24: Pull request #149 synchronize by affeldt-aist
4m 36s
4m 36s
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
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 9.1 #21: Pull request #153 synchronize by CohenCyril
4m 15s
4m 15s
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.1 #19: Pull request #153 synchronize by CohenCyril
4m 58s
4m 58s
Add a theory of finite permutations. Nix CI for bundle 9.1 #18: Pull request #153 synchronize by CohenCyril
8m 35s
8m 35s
Add a theory of finite permutations. Nix CI for bundle 9.1 #17: Pull request #153 synchronize by CohenCyril
10m 0s
10m 0s
Merge pull request #144 from math-comp/cleanup-phant Nix CI for bundle 9.1 #16: Commit ffb519b pushed by CohenCyril
8m 11s master
master
8m 11s
Add a theory of finite permutations. Nix CI for bundle 9.1 #15: Pull request #153 opened by arthuraa
4m 10s
4m 10s
Port to Elpi mlock Nix CI for bundle 9.1 #14: Pull request #144 synchronize by pi8027
7m 58s
7m 58s
Update Docker/Nix CI (#151) Nix CI for bundle 9.1 #13: Commit 04f70a5 pushed by proux01
2m 20s master
master
2m 20s
Update Docker/Nix CI Nix CI for bundle 9.1 #12: Pull request #151 synchronize by pi8027
4m 54s ci
ci
4m 54s
Update Docker/Nix CI Nix CI for bundle 9.1 #11: Pull request #151 synchronize by pi8027
4m 41s ci
ci
4m 41s
Update Docker/Nix CI Nix CI for bundle 9.1 #10: Pull request #151 synchronize by pi8027
5m 55s ci
ci
5m 55s
Update Docker/Nix CI Nix CI for bundle 9.1 #9: Pull request #151 synchronize by pi8027
5m 38s ci
ci
5m 38s
Update Docker/Nix CI Nix CI for bundle 9.1 #8: Pull request #151 synchronize by pi8027
56m 32s ci
ci
56m 32s
Update Docker/Nix CI Nix CI for bundle 9.1 #7: Pull request #151 synchronize by pi8027
3m 35s ci
ci
3m 35s
Update Docker/Nix CI Nix CI for bundle 9.1 #6: Pull request #151 synchronize by pi8027
2m 33s ci
ci
2m 33s