Merge pull request #748 from cryspen/fix-hax-gha

fix(nix ci): regression in nix-installer-action
cryspen · Jan 15, 2025 · 195b6c6 · 195b6c6
2 parents 81a94ba + 555c7bc
commit 195b6c6
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