Skip to content

Actions: math-comp/real-closed

Actions

Nix CI for bundle 9.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-9.0.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #72 from proux01/mc1258 Nix CI for bundle 9.0 #9: Commit be97429 pushed by proux01
February 27, 2025 09:52 12m 23s master
master
February 27, 2025 09:52 12m 23s
Adapt to https://github.com/math-comp/math-comp/pull/1258 Nix CI for bundle 9.0 #8: Pull request #72 opened by proux01
February 27, 2025 09:18 25m 56s
February 27, 2025 09:18 25m 56s
Merge pull request #71 from proux01/opam Nix CI for bundle 9.0 #7: Commit 1235078 pushed by proux01
February 25, 2025 09:52 42m 22s master
master
February 25, 2025 09:52 42m 22s
Update opam file following removal of Stdlib dep Nix CI for bundle 9.0 #6: Pull request #71 opened by proux01
February 25, 2025 09:43 5m 19s
February 25, 2025 09:43 5m 19s
Merge pull request #70 from proux01/fix-macos Nix CI for bundle 9.0 #5: Commit 0accab9 pushed by proux01
February 24, 2025 14:03 28m 31s master
master
February 24, 2025 14:03 28m 31s
Fix sed commands on MacOS Nix CI for bundle 9.0 #4: Pull request #70 opened by proux01
February 24, 2025 14:03 27s
February 24, 2025 14:03 27s
Merge pull request #69 from proux01/no-stdlib Nix CI for bundle 9.0 #3: Commit c99947d pushed by proux01
February 22, 2025 12:27 17m 18s master
master
February 22, 2025 12:27 17m 18s
Remove Stdlib dependency Nix CI for bundle 9.0 #2: Pull request #69 synchronize by proux01
February 22, 2025 11:39 22m 2s proux01:no-stdlib
proux01:no-stdlib
February 22, 2025 11:39 22m 2s
Remove Stdlib dependency Nix CI for bundle 9.0 #1: Pull request #69 synchronize by proux01
February 22, 2025 11:17 21m 38s proux01:no-stdlib
proux01:no-stdlib
February 22, 2025 11:17 21m 38s