Skip to content

Actions: math-comp/finmap

Actions

Nix CI for bundle 9.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-9.0.yml
116 workflow runs
116 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.0 #131: Commit 53239c7 pushed by proux01
1m 53s master
master
1m 53s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 Nix CI for bundle 9.0 #130: Pull request #155 opened by proux01
4m 27s
4m 27s
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#154) Nix CI for bundle 9.0 #129: Commit df2a7f9 pushed by proux01
5m 33s master
master
5m 33s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle 9.0 #128: Pull request #154 opened by proux01
6m 45s
6m 45s
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#152) Nix CI for bundle 9.0 #127: Commit 4984dd9 pushed by proux01
11m 42s master
master
11m 42s
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
from MathComp-Analysis' unstable.v Nix CI for bundle 9.0 #125: Pull request #149 synchronize by affeldt-aist
4m 35s
4m 35s
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. Nix CI for bundle 9.0 #123: Pull request #153 synchronize by CohenCyril
3m 0s
3m 0s
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.0 #121: Pull request #153 synchronize by CohenCyril
5m 24s
5m 24s
Add a theory of finite permutations. Nix CI for bundle 9.0 #120: Pull request #153 synchronize by CohenCyril
5m 24s
5m 24s
Add a theory of finite permutations. Nix CI for bundle 9.0 #119: Pull request #153 synchronize by CohenCyril
7m 54s
7m 54s
Add a theory of finite permutations. Nix CI for bundle 9.0 #118: Pull request #153 synchronize by CohenCyril
9m 27s
9m 27s
Merge pull request #144 from math-comp/cleanup-phant Nix CI for bundle 9.0 #117: Commit ffb519b pushed by CohenCyril
8m 42s master
master
8m 42s
Add a theory of finite permutations. Nix CI for bundle 9.0 #116: Pull request #153 opened by arthuraa
4m 32s
4m 32s
Port to Elpi mlock Nix CI for bundle 9.0 #115: Pull request #144 synchronize by pi8027
7m 16s
7m 16s
Update Docker/Nix CI (#151) Nix CI for bundle 9.0 #114: Commit 04f70a5 pushed by proux01
7m 55s master
master
7m 55s
Update Docker/Nix CI Nix CI for bundle 9.0 #113: Pull request #151 synchronize by pi8027
5m 2s ci
ci
5m 2s
Update Docker/Nix CI Nix CI for bundle 9.0 #112: Pull request #151 synchronize by pi8027
5m 2s
5m 2s
Update Docker/Nix CI Nix CI for bundle 9.0 #111: Pull request #151 synchronize by pi8027
4m 20s ci
ci
4m 20s
Update Docker/Nix CI Nix CI for bundle 9.0 #110: Pull request #151 synchronize by pi8027
3m 39s
3m 39s
Update Docker/Nix CI Nix CI for bundle 9.0 #109: Pull request #151 synchronize by pi8027
7m 0s ci
ci
7m 0s
Update Docker/Nix CI Nix CI for bundle 9.0 #108: Pull request #151 synchronize by pi8027
6m 28s
6m 28s
Update Docker/Nix CI Nix CI for bundle 9.0 #107: Pull request #151 synchronize by pi8027
5m 0s ci
ci
5m 0s