Update Nix CI

math-comp · Jan 3, 2025 · afc00ec · afc00ec
1 parent 1d8633e
commit afc00ec
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 666 deletions.
diff --git a/.github/workflows/nix-action-coq8.17-mc2.1.0.yml b/.github/workflows/nix-action-coq8.17-mc2.1.0.yml