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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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