Skip to content

Actions: math-comp/odd-order

Nix CI for bundle 8.18

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to https://github.com/math-comp/math-comp/pull/1354
Nix CI for bundle 8.18 #67: Pull request #66 synchronize by proux01
February 28, 2025 13:35 46s
February 28, 2025 13:35 46s
Adapt to https://github.com/math-comp/math-comp/pull/1354
Nix CI for bundle 8.18 #66: Pull request #66 synchronize by proux01
February 28, 2025 13:25 50s
February 28, 2025 13:25 50s
Adapt to https://github.com/math-comp/math-comp/pull/1354
Nix CI for bundle 8.18 #65: Pull request #66 opened by proux01
February 28, 2025 12:55 56s
February 28, 2025 12:55 56s
Merge pull request #65 from proux01/fix-macos
Nix CI for bundle 8.18 #64: Commit 371af24 pushed by proux01
February 24, 2025 14:06 17m 53s master
February 24, 2025 14:06 17m 53s
Fix sed commands for MacOS
Nix CI for bundle 8.18 #63: Pull request #65 opened by proux01
February 24, 2025 14:05 14s
February 24, 2025 14:05 14s
Merge pull request #63 from proux01/no-stdlib
Nix CI for bundle 8.18 #62: Commit 04a591e pushed by proux01
February 21, 2025 18:03 2m 31s master
February 21, 2025 18:03 2m 31s
Remove Stdlib dependency
Nix CI for bundle 8.18 #61: Pull request #63 synchronize by proux01
February 21, 2025 17:20 12m 57s
February 21, 2025 17:20 12m 57s
Remove Stdlib dependency
Nix CI for bundle 8.18 #60: Pull request #63 synchronize by proux01
February 21, 2025 08:38 12m 55s
February 21, 2025 08:38 12m 55s
Merge pull request #64 from proux01/ci-update
Nix CI for bundle 8.18 #59: Commit 35693ae pushed by proux01
February 21, 2025 08:33 12m 59s master
February 21, 2025 08:33 12m 59s
[CI] Update Nix toolbox
Nix CI for bundle 8.18 #58: Pull request #64 synchronize by proux01
February 21, 2025 07:28 13m 10s proux01:ci-update
February 21, 2025 07:28 13m 10s
[CI] Update Nix toolbox
Nix CI for bundle 8.18 #57: Pull request #64 synchronize by proux01
February 21, 2025 07:28 13m 1s
February 21, 2025 07:28 13m 1s
[CI] Update Nix toolbox
Nix CI for bundle 8.18 #56: Pull request #64 opened by proux01
February 20, 2025 16:53 24m 24s proux01:ci-update
February 20, 2025 16:53 24m 24s
[CI] Update Nix toolbox
Nix CI for bundle 8.18 #55: Pull request #64 opened by proux01
February 20, 2025 16:53 25m 4s
February 20, 2025 16:53 25m 4s
Remove Stdlib dependency
Nix CI for bundle 8.18 #54: Pull request #63 opened by proux01
February 18, 2025 09:15 13m 10s
February 18, 2025 09:15 13m 10s
Merge pull request #62 from proux01/mc1343
Nix CI for bundle 8.18 #53: Commit 39154ba pushed by proux01
February 14, 2025 08:18 29m 28s master
February 14, 2025 08:18 29m 28s
Adapt to https://github.com/math-comp/math-comp/pull/1343
Nix CI for bundle 8.18 #52: Pull request #62 opened by proux01
February 14, 2025 07:40 30m 1s
February 14, 2025 07:40 30m 1s
Merge pull request #60 from Tragicus/pr19611
Nix CI for bundle 8.18 #51: Commit 2bee03d pushed by ybertot
October 30, 2024 15:03 2m 39s master
October 30, 2024 15:03 2m 39s
annotate card_vspace1
Nix CI for bundle 8.18 #50: Pull request #60 synchronize by Tragicus
October 30, 2024 14:38 12m 47s
October 30, 2024 14:38 12m 47s
Merge pull request #61 from proux01/ci-update
Nix CI for bundle 8.18 #49: Commit 6efac7d pushed by ybertot
October 30, 2024 14:36 13m 21s master
October 30, 2024 14:36 13m 21s
[CI] Update Nix toolbox
Nix CI for bundle 8.18 #48: Pull request #61 opened by proux01
October 30, 2024 13:49 25m 18s proux01:ci-update
October 30, 2024 13:49 25m 18s
[CI] Update Nix toolbox
Nix CI for bundle 8.18 #47: Pull request #61 opened by proux01
October 30, 2024 13:49 28m 44s
October 30, 2024 13:49 28m 44s
annotate card_vspace1
Nix CI for bundle 8.18 #46: Pull request #60 opened by Tragicus
October 30, 2024 13:20 13m 32s
October 30, 2024 13:20 13m 32s
Merge pull request #58 from Tragicus/pr1229
Nix CI for bundle 8.18 #45: Commit b21f200 pushed by CohenCyril
August 14, 2024 13:38 2m 27s master
August 14, 2024 13:38 2m 27s
adapt to MC#1229
Nix CI for bundle 8.18 #44: Pull request #58 synchronize by Tragicus
August 14, 2024 11:48 12m 33s
August 14, 2024 11:48 12m 33s
Adapt to MC#1256 (#59)
Nix CI for bundle 8.18 #43: Commit e1eb71e pushed by CohenCyril
August 14, 2024 11:45 12m 38s master
August 14, 2024 11:45 12m 38s