Skip to content

Actions: math-comp/odd-order

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
375 workflow runs
375 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
Merge pull request #87 from proux01/fix-opam Nix CI for bundle master #171: Commit d74d320 pushed by proux01
24m 35s master
master
24m 35s
Merge pull request #87 from proux01/fix-opam Nix CI for bundle 9.1 #46: Commit d74d320 pushed by proux01
11m 26s master
master
11m 26s
Fix opam file Nix CI for bundle master #170: Pull request #87 opened by proux01
12s
12s
Fix opam file Nix CI for bundle 9.1 #45: Pull request #87 opened by proux01
11s
11s
Merge pull request #85 from math-comp/deprecation_mc2.4 Nix CI for bundle master #169: Commit 9538678 pushed by pi8027
27m 32s master
master
27m 32s
Merge pull request #85 from math-comp/deprecation_mc2.4 Nix CI for bundle 9.1 #44: Commit 9538678 pushed by pi8027
1m 58s master
master
1m 58s
Address the deprecation warnings introduced in MathComp <= 2.4 Nix CI for bundle master #168: Pull request #85 synchronize by pi8027
26m 47s
26m 47s
Address the deprecation warnings introduced in MathComp <= 2.4 Nix CI for bundle 9.1 #43: Pull request #85 synchronize by pi8027
11m 4s
11m 4s
Merge pull request #86 from math-comp/update-ci Nix CI for bundle 9.1 #42: Commit 2d4d677 pushed by pi8027
1m 50s master
master
1m 50s
Merge pull request #86 from math-comp/update-ci Nix CI for bundle master #167: Commit 2d4d677 pushed by pi8027
22m 49s master
master
22m 49s
Update Nix CI Nix CI for bundle master #166: Pull request #86 synchronize by pi8027
26m 21s update-ci
update-ci
26m 21s
Update Nix CI Nix CI for bundle master #165: Pull request #86 synchronize by pi8027
23m 3s
23m 3s
Update Nix CI Nix CI for bundle 9.1 #41: Pull request #86 synchronize by pi8027
1m 51s
1m 51s
Update Nix CI Nix CI for bundle master #164: Pull request #86 synchronize by pi8027
19m 41s update-ci
update-ci
19m 41s
Update Nix CI Nix CI for bundle master #163: Pull request #86 synchronize by pi8027
19m 24s
19m 24s
Update Nix CI Nix CI for bundle 9.1 #40: Pull request #86 synchronize by pi8027
11m 4s
11m 4s
Update Nix CI Nix CI for bundle master #162: Pull request #86 synchronize by pi8027
3m 7s update-ci
update-ci
3m 7s
Update Nix CI Nix CI for bundle 9.2 #3: Pull request #86 synchronize by pi8027
1m 55s update-ci
update-ci
1m 55s
Update Nix CI Nix CI for bundle master #161: Pull request #86 synchronize by pi8027
3m 16s
3m 16s
Update Nix CI Nix CI for bundle 9.1 #39: Pull request #86 synchronize by pi8027
3m 19s
3m 19s
Update Nix CI Nix CI for bundle master #160: Pull request #86 synchronize by pi8027
8m 48s update-ci
update-ci
8m 48s
Update Nix CI Nix CI for bundle master #159: Pull request #86 synchronize by pi8027
8m 55s
8m 55s
Update Nix CI Nix CI for bundle 9.1 #38: Pull request #86 synchronize by pi8027
8m 57s
8m 57s
Update Nix CI Nix CI for bundle master #158: Pull request #86 synchronize by pi8027
13m 3s update-ci
update-ci
13m 3s
Address the deprecation warnings introduced in MathComp <= 2.4 Nix CI for bundle master #157: Pull request #85 synchronize by pi8027
6m 47s
6m 47s