Skip to content

Actions: coq-community/fourcolor

Actions

Nix CI for bundle 8.19

Actions

Loading...
Loading

Show workflow options

Create status badge

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