fix(nix ci): regression in nix-installer-action

This commit pins the version of nix-installer, so that we don't hit DeterminateSystems/nix-installer-action#133. We should revert this commit whenever DeterminateSystems/nix-installer-action#133 is closed.
cryspen · Jan 15, 2025 · 555c7bc · 555c7bc
1 parent 81a94ba
commit 555c7bc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
@@ -31,6 +31,8 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - uses: DeterminateSystems/nix-installer-action@main
+        with:
+          source-tag: v0.32.3 # revert when https://github.com/DeterminateSystems/nix-installer-action/issues/133 is closed
       - uses: DeterminateSystems/magic-nix-cache-action@main
 
       - name: ⤵ Install FStar