Skip to content

Actions: coq-community/fourcolor

Actions

Nix CI for bundle 8.18

Actions

Loading...
Loading

Show workflow options

Create status badge

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