wip

hacspec · Jan 23, 2025 · 0c8a050 · 0c8a050
1 parent 56ac7e2
commit 0c8a050
Showing 1 changed file with 9 additions and 8 deletions.
diff --git a/action.yml b/action.yml
@@ -18,21 +18,22 @@ runs:
       run: |
         nix-env --quiet -j8 -iA cachix -f https://cachix.org/api/v1/install
         cachix use hax
-
-    - name: Install hax
-      shell: bash
-      run: nix profile install "$FLAKE"#hax
-      env:
-        FLAKE: "${{ inputs.hax_repository }}/${{ inputs.hax_reference }}"
-
+    
     - name: Install F*
       shell: bash
       run: |
         VARIANT="Linux-x86_64"
-        curl -sL "https://github.com/FStarLang/FStar/releases/download/$FSTAR/fstar-$FSTAR-$VARIANT.tar.gz" -o fstar.tar.gz
+        wget "https://github.com/FStarLang/FStar/releases/download/$FSTAR/fstar-$FSTAR-$VARIANT.tar.gz" -O fstar.tar.gz
         tar xvz fstar.tar.gz
         mv fstar hax-actions-fstar-binary
         echo "$PWD/hax-actions-fstar-binary/bin" >> $GITHUB_PATH
+
+    - name: Install hax
+      shell: bash
+      run: nix profile install "$FLAKE"#hax
+      env:
+        FLAKE: "${{ inputs.hax_repository }}/${{ inputs.hax_reference }}"
+
       env:
         FSTAR: "${{ inputs.fstar }}"
         OS: "${{ runner.os }}"