Skip to content

Actions: math-comp/real-closed

Actions

Nix CI for bundle 8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.20.yml
19 workflow runs
19 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 8.20 #19: Commit be97429 pushed by proux01
February 27, 2025 09:52 12m 45s master
master
February 27, 2025 09:52 12m 45s
Adapt to https://github.com/math-comp/math-comp/pull/1258 Nix CI for bundle 8.20 #18: Pull request #72 opened by proux01
February 27, 2025 09:18 24m 49s
February 27, 2025 09:18 24m 49s
Merge pull request #71 from proux01/opam Nix CI for bundle 8.20 #17: Commit 1235078 pushed by proux01
February 25, 2025 09:52 40m 51s master
master
February 25, 2025 09:52 40m 51s
Update opam file following removal of Stdlib dep Nix CI for bundle 8.20 #16: Pull request #71 opened by proux01
February 25, 2025 09:43 5m 22s
February 25, 2025 09:43 5m 22s
Merge pull request #70 from proux01/fix-macos Nix CI for bundle 8.20 #15: Commit 0accab9 pushed by proux01
February 24, 2025 14:03 32m 18s master
master
February 24, 2025 14:03 32m 18s
Fix sed commands on MacOS Nix CI for bundle 8.20 #14: Pull request #70 opened by proux01
February 24, 2025 14:03 33s
February 24, 2025 14:03 33s
Merge pull request #69 from proux01/no-stdlib Nix CI for bundle 8.20 #13: Commit c99947d pushed by proux01
February 22, 2025 12:27 12m 53s master
master
February 22, 2025 12:27 12m 53s
Remove Stdlib dependency Nix CI for bundle 8.20 #12: Pull request #69 synchronize by proux01
February 22, 2025 11:39 18m 15s proux01:no-stdlib
proux01:no-stdlib
February 22, 2025 11:39 18m 15s
Remove Stdlib dependency Nix CI for bundle 8.20 #11: Pull request #69 synchronize by proux01
February 22, 2025 11:39 17m 1s
February 22, 2025 11:39 17m 1s
Remove Stdlib dependency Nix CI for bundle 8.20 #10: Pull request #69 synchronize by proux01
February 22, 2025 11:17 15m 36s proux01:no-stdlib
proux01:no-stdlib
February 22, 2025 11:17 15m 36s
Remove Stdlib dependency Nix CI for bundle 8.20 #9: Pull request #69 synchronize by proux01
February 22, 2025 11:17 15m 0s
February 22, 2025 11:17 15m 0s
Remove Stdlib dependency Nix CI for bundle 8.20 #8: Pull request #69 opened by proux01
February 18, 2025 08:50 8m 35s
February 18, 2025 08:50 8m 35s
Merge pull request #68 from proux01/mc1343 Nix CI for bundle 8.20 #7: Commit c384ff4 pushed by proux01
February 14, 2025 08:17 17m 37s master
master
February 14, 2025 08:17 17m 37s
Adapt to https://github.com/math-comp/math-comp/pull/1343 Nix CI for bundle 8.20 #6: Pull request #68 opened by proux01
February 14, 2025 07:38 27m 31s
February 14, 2025 07:38 27m 31s
Merge pull request #67 from CohenCyril/meta-2.0.2 Nix CI for bundle 8.20 #5: Commit ea1d342 pushed by CohenCyril
December 9, 2024 21:49 11m 3s master
master
December 9, 2024 21:49 11m 3s
update meta and docker Nix CI for bundle 8.20 #4: Pull request #67 opened by CohenCyril
December 9, 2024 11:05 16m 6s
December 9, 2024 11:05 16m 6s
Merge pull request #65 from math-comp/test-2.3.0 Nix CI for bundle 8.20 #3: Commit d88b027 pushed by CohenCyril
December 9, 2024 10:53 17m 37s master
master
December 9, 2024 10:53 17m 37s
test mathcomp 2.3.0 Nix CI for bundle 8.20 #2: Pull request #65 synchronize by CohenCyril
December 2, 2024 12:54 22m 21s test-2.3.0
test-2.3.0
December 2, 2024 12:54 22m 21s
test mathcomp 2.3.0 Nix CI for bundle 8.20 #1: Pull request #65 opened by CohenCyril
December 2, 2024 11:31 4m 31s test-2.3.0
test-2.3.0
December 2, 2024 11:31 4m 31s