diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
index 17e057f4b..e88932401 100644
--- 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