Omit nix install options+URL

apalache-mc · Mar 9, 2023 · e77bd81 · e77bd81
1 parent 9e51e69
commit e77bd81
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -130,8 +130,6 @@ jobs:
       - name: Install Nix
         uses: cachix/[email protected]
         with:
-          install_url: https://nixos-nix-install-tests.cachix.org/serve/vij683ly7sl95nnhb67bdjjfabclr85m/install
-          install_options: "--tarball-url-prefix https://nixos-nix-install-tests.cachix.org/serve"
           extra_nix_config: |
             experimental-features = nix-command flakes
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}