remove nix again

MetaCoq · Oct 17, 2023 · 0de5f63 · 0de5f63
1 parent 4de43a4
commit 0de5f63
Show file tree

Hide file tree

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