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
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #122 from proux01/opam Nix CI for bundle 9.0 #13: Commit 02bf0e8 pushed by proux01
February 25, 2025 09:51 9m 8s master
master
February 25, 2025 09:51 9m 8s
Update opam file following removal of Stdlib dep Nix CI for bundle 9.0 #12: Pull request #122 opened by proux01
February 25, 2025 09:41 4m 34s
February 25, 2025 09:41 4m 34s
Merge pull request #121 from proux01/fix-macos Nix CI for bundle 9.0 #11: Commit e395fc1 pushed by proux01
February 24, 2025 13:55 8m 9s master
master
February 24, 2025 13:55 8m 9s
Fix sed commands on MacOS Nix CI for bundle 9.0 #10: Pull request #121 opened by proux01
February 24, 2025 13:54 50s
February 24, 2025 13:54 50s
Merge pull request #119 from proux01/no-stdlib Nix CI for bundle 9.0 #9: Commit 94c371b pushed by proux01
February 21, 2025 18:35 11m 44s master
master
February 21, 2025 18:35 11m 44s
Remove Stdlib dependency Nix CI for bundle 9.0 #8: Pull request #119 synchronize by proux01
February 21, 2025 18:28 4m 55s
February 21, 2025 18:28 4m 55s
Remove Stdlib dependency Nix CI for bundle 9.0 #7: Pull request #119 synchronize by proux01
February 21, 2025 18:09 8m 38s
February 21, 2025 18:09 8m 38s
Merge pull request #120 from proux01/ci-update Nix CI for bundle 9.0 #6: Commit 1cbf1fd pushed by proux01
February 21, 2025 18:07 8m 59s master
master
February 21, 2025 18:07 8m 59s
[CI] Update NIx toolbox Nix CI for bundle 9.0 #5: Pull request #120 synchronize by proux01
February 21, 2025 08:43 14m 26s proux01:ci-update
proux01:ci-update
February 21, 2025 08:43 14m 26s
[CI] Update NIx toolbox Nix CI for bundle 9.0 #4: Pull request #120 synchronize by proux01
February 21, 2025 07:31 16m 40s proux01:ci-update
proux01:ci-update
February 21, 2025 07:31 16m 40s
[CI] Update NIx toolbox Nix CI for bundle 9.0 #3: Pull request #120 synchronize by proux01
February 20, 2025 16:41 10m 50s proux01:ci-update
proux01:ci-update
February 20, 2025 16:41 10m 50s
[CI] Update NIx toolbox Nix CI for bundle 9.0 #2: Pull request #120 synchronize by proux01
February 19, 2025 08:51 45s proux01:ci-update
proux01:ci-update
February 19, 2025 08:51 45s
[CI] Update NIx toolbox Nix CI for bundle 9.0 #1: Pull request #120 opened by proux01
February 18, 2025 20:01 56m 6s proux01:ci-update
proux01:ci-update
February 18, 2025 20:01 56m 6s