Skip to content

Actions: math-comp/finmap

Actions

Nix CI for bundle 8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.20.yml
120 workflow runs
120 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 8.20 #141: Commit 53239c7 pushed by proux01
2m 6s master
master
2m 6s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 Nix CI for bundle 8.20 #140: Pull request #155 opened by proux01
2m 42s
2m 42s
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#154) Nix CI for bundle 8.20 #139: Commit df2a7f9 pushed by proux01
4m 41s master
master
4m 41s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle 8.20 #138: Pull request #154 opened by proux01
5m 1s
5m 1s
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#152) Nix CI for bundle 8.20 #137: Commit 4984dd9 pushed by proux01
8m 40s master
master
8m 40s
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
from MathComp-Analysis' unstable.v Nix CI for bundle 8.20 #135: Pull request #149 synchronize by affeldt-aist
3m 50s
3m 50s
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
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 8.20 #132: Pull request #153 synchronize by CohenCyril
4m 15s
4m 15s
Add a theory of finite permutations. Nix CI for bundle 8.20 #131: Pull request #153 synchronize by CohenCyril
4m 16s
4m 16s
Add a theory of finite permutations. Nix CI for bundle 8.20 #130: Pull request #153 synchronize by CohenCyril
6m 19s
6m 19s
Add a theory of finite permutations. Nix CI for bundle 8.20 #129: Pull request #153 synchronize by CohenCyril
7m 21s
7m 21s
Add a theory of finite permutations. Nix CI for bundle 8.20 #128: Pull request #153 synchronize by CohenCyril
8m 15s
8m 15s
Merge pull request #144 from math-comp/cleanup-phant Nix CI for bundle 8.20 #127: Commit ffb519b pushed by CohenCyril
5m 25s master
master
5m 25s
Add a theory of finite permutations. Nix CI for bundle 8.20 #126: Pull request #153 opened by arthuraa
3m 37s
3m 37s
Port to Elpi mlock Nix CI for bundle 8.20 #125: Pull request #144 synchronize by pi8027
5m 9s
5m 9s
Update Docker/Nix CI (#151) Nix CI for bundle 8.20 #124: Commit 04f70a5 pushed by proux01
1m 35s master
master
1m 35s
Update Docker/Nix CI Nix CI for bundle 8.20 #123: Pull request #151 synchronize by pi8027
4m 1s ci
ci
4m 1s
Update Docker/Nix CI Nix CI for bundle 8.20 #122: Pull request #151 synchronize by pi8027
5m 19s
5m 19s
Update Docker/Nix CI Nix CI for bundle 8.20 #121: Pull request #151 synchronize by pi8027
5m 4s ci
ci
5m 4s
Update Docker/Nix CI Nix CI for bundle 8.20 #120: Pull request #151 synchronize by pi8027
4m 11s
4m 11s
Update Docker/Nix CI Nix CI for bundle 8.20 #119: Pull request #151 synchronize by pi8027
6m 30s ci
ci
6m 30s
Update Docker/Nix CI Nix CI for bundle 8.20 #118: Pull request #151 synchronize by pi8027
6m 2s
6m 2s
Update Docker/Nix CI Nix CI for bundle 8.20 #117: Pull request #151 synchronize by pi8027
3m 43s ci
ci
3m 43s