deactivate ci-nix

agda · Oct 24, 2023 · 05c4dc0 · 05c4dc0
1 parent 2c78660
commit 05c4dc0
Showing 1 changed file with 0 additions and 20 deletions.
diff --git a/.github/workflows/ci-nix.yml b/.github/workflows/ci-nix.yml