Skip to content

Actions: math-comp/finmap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
461 workflow runs
461 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
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
Add a theory of finite permutations. Docker CI #171: Pull request #153 synchronize by CohenCyril
5m 38s arthuraa:finperm
arthuraa:finperm
5m 38s
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 master #149: Pull request #153 synchronize by CohenCyril
8m 15s
8m 15s
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 9.1 #19: Pull request #153 synchronize by CohenCyril
4m 58s
4m 58s
Add a theory of finite permutations. Docker CI #170: Pull request #153 synchronize by CohenCyril
5m 56s arthuraa:finperm
arthuraa:finperm
5m 56s
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 9.0 #119: Pull request #153 synchronize by CohenCyril
7m 54s
7m 54s
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 master #148: Pull request #153 synchronize by CohenCyril
11m 34s
11m 34s
Add a theory of finite permutations. Docker CI #169: Pull request #153 synchronize by CohenCyril
19m 26s arthuraa:finperm
arthuraa:finperm
19m 26s
Add a theory of finite permutations. Nix CI for bundle 8.20 #128: Pull request #153 synchronize by CohenCyril
8m 15s
8m 15s
Add a theory of finite permutations. Nix CI for bundle master #147: Pull request #153 synchronize by CohenCyril
21m 7s
21m 7s
Add a theory of finite permutations. Nix CI for bundle 9.0 #118: Pull request #153 synchronize by CohenCyril
9m 27s
9m 27s
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 master #146: Commit ffb519b pushed by CohenCyril
21m 59s master
master
21m 59s
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
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
Merge pull request #144 from math-comp/cleanup-phant Docker CI #168: Commit ffb519b pushed by CohenCyril
19m 37s master
master
19m 37s
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