Skip to content

Actions: math-comp/finmap

Actions

Nix CI for bundle master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-master.yml
115 workflow runs
115 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 master #160: Commit 53239c7 pushed by proux01
3m 4s master
master
3m 4s
Adapt to https://github.com/rocq-prover/rocq/pull/21849 Nix CI for bundle master #159: Pull request #155 opened by proux01
5m 9s
5m 9s
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#154) Nix CI for bundle master #158: Commit df2a7f9 pushed by proux01
9m 21s master
master
9m 21s
Adapt to https://github.com/math-comp/math-comp/pull/1545 Nix CI for bundle master #157: Pull request #154 opened by proux01
8m 23s
8m 23s
Adapt to https://github.com/math-comp/math-comp/pull/1545 (#152) Nix CI for bundle master #156: Commit 4984dd9 pushed by proux01
25m 20s master
master
25m 20s
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 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
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 master #151: Pull request #153 synchronize by CohenCyril
5m 12s
5m 12s
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 master #149: Pull request #153 synchronize by CohenCyril
8m 15s
8m 15s
Add a theory of finite permutations. Nix CI for bundle master #148: Pull request #153 synchronize by CohenCyril
11m 34s
11m 34s
Add a theory of finite permutations. Nix CI for bundle master #147: Pull request #153 synchronize by CohenCyril
21m 7s
21m 7s
Merge pull request #144 from math-comp/cleanup-phant Nix CI for bundle master #146: Commit ffb519b pushed by CohenCyril
21m 59s master
master
21m 59s
Add a theory of finite permutations. Nix CI for bundle master #145: Pull request #153 opened by arthuraa
18m 32s
18m 32s
Port to Elpi mlock Nix CI for bundle master #144: Pull request #144 synchronize by pi8027
8m 30s
8m 30s
Update Docker/Nix CI (#151) Nix CI for bundle master #143: Commit 04f70a5 pushed by proux01
6m 55s master
master
6m 55s
Update Docker/Nix CI Nix CI for bundle master #142: Pull request #151 synchronize by pi8027
5m 2s
5m 2s
Update Docker/Nix CI Nix CI for bundle master #141: Pull request #151 synchronize by pi8027
5m 48s ci
ci
5m 48s
Update Docker/Nix CI Nix CI for bundle master #140: Pull request #151 synchronize by pi8027
19m 3s ci
ci
19m 3s
Update Docker/Nix CI Nix CI for bundle master #139: Pull request #151 synchronize by pi8027
19m 35s
19m 35s
Update Docker/Nix CI Nix CI for bundle master #138: Pull request #151 synchronize by pi8027
16m 51s ci
ci
16m 51s
Update Docker/Nix CI Nix CI for bundle master #137: Pull request #151 synchronize by pi8027
21m 0s
21m 0s
Update Docker/Nix CI Nix CI for bundle master #136: Pull request #151 synchronize by pi8027
6m 56s ci
ci
6m 56s