[CI] Update Nix

math-comp · May 11, 2023 · f62da46 · f62da46
1 parent af54c29
commit f62da46
Show file tree

Hide file tree

Showing 15 changed files with 356 additions and 1,768 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