[CI] Update Nix

math-comp · Nov 7, 2023 · 779f085 · 779f085
1 parent 80a36ca
commit 779f085
Show file tree

Hide file tree

Showing 16 changed files with 491 additions and 1,643 deletions.
diff --git a/.github/workflows/nix-action-coq8.12+mc1.13.yml b/.github/workflows/nix-action-coq8.12+mc1.13.yml
diff --git a/.github/workflows/nix-action-coq8.13+mc1.13.yml b/.github/workflows/nix-action-coq8.13+mc1.13.yml
diff --git a/.github/workflows/nix-action-coq8.13+mc1.14.yml b/.github/workflows/nix-action-coq8.13+mc1.14.yml