Remove nix

MetaCoq · Oct 16, 2023 · 39e31f6 · 39e31f6
1 parent 87f8ebf
commit 39e31f6
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 374 deletions.
diff --git a/.github/workflows/nix-action-coq-dev-macos.yml b/.github/workflows/nix-action-coq-dev-macos.yml
diff --git a/.github/workflows/nix-action-coq-dev-ubuntu.yml b/.github/workflows/nix-action-coq-dev-ubuntu.yml