Skip to content

Actions: coq-community/fourcolor

Actions

Nix CI for bundle master

Actions

Loading...
Loading

Show workflow options

Create status badge

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