Skip to content

Actions: coq-community/fourcolor

Actions

Nix CI for bundle 8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.20.yml
10 workflow runs
10 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.20 #10: Pull request #72 opened by proux01
February 28, 2025 12:14 2m 19s
February 28, 2025 12:14 2m 19s
Merge pull request #71 from coq-community/opam Nix CI for bundle 8.20 #9: Commit de7e174 pushed by proux01
February 25, 2025 10:02 14m 22s master
master
February 25, 2025 10:02 14m 22s
Update opam files following removal of Stdlib dep Nix CI for bundle 8.20 #8: Pull request #71 opened by proux01
February 25, 2025 09:44 5m 6s
February 25, 2025 09:44 5m 6s
Merge pull request #70 from coq-community/fix-macos Nix CI for bundle 8.20 #7: Commit b23e3a8 pushed by proux01
February 24, 2025 14:08 26m 39s master
master
February 24, 2025 14:08 26m 39s
Fix sed commands for MacOS Nix CI for bundle 8.20 #6: Pull request #70 opened by proux01
February 24, 2025 14:07 25s
February 24, 2025 14:07 25s
Merge pull request #68 from coq-community/no-stdlib Nix CI for bundle 8.20 #5: Commit ed53286 pushed by proux01
February 22, 2025 10:34 14m 22s master
master
February 22, 2025 10:34 14m 22s
Remove Stdlib dependency Nix CI for bundle 8.20 #4: Pull request #68 synchronize by proux01
February 21, 2025 19:21 14m 26s no-stdlib
no-stdlib
February 21, 2025 19:21 14m 26s
Remove Stdlib dependency Nix CI for bundle 8.20 #3: Pull request #68 synchronize by proux01
February 21, 2025 18:43 14m 24s no-stdlib
no-stdlib
February 21, 2025 18:43 14m 24s
Remove Stdlib dependency Nix CI for bundle 8.20 #2: Pull request #68 synchronize by proux01
February 21, 2025 18:34 6m 34s no-stdlib
no-stdlib
February 21, 2025 18:34 6m 34s
Remove Stdlib dependency Nix CI for bundle 8.20 #1: Pull request #68 synchronize by proux01
February 21, 2025 18:26 2m 16s no-stdlib
no-stdlib
February 21, 2025 18:26 2m 16s