wip

hacspec · Feb 28, 2024 · 75c873d · 75c873d
1 parent 37347da
commit 75c873d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 9 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -14,7 +14,6 @@ jobs:
           echo "HAX_PROOF_LIBS=$HAX_PROOF_LIBS"
           echo "HAX_LIB=$HAX_LIB"
           echo "HACL_HOME=$HACL_HOME"
-          echo "TEST=$TEST"
           echo "F* version"
           fstar.exe --version
           echo "hax help"

diff --git a/action.yml b/action.yml
@@ -18,15 +18,13 @@ runs:
         nix-env --quiet -j8 -iA cachix -f https://cachix.org/api/v1/install
         cachix use hax
 
-    # - name: Install binaries
-    #   shell: bash
-    #   run: nix profile install "$FLAKE"#hax "$FLAKE"#hax-env "$FLAKE"#fstar
-    #   env:
-    #     FLAKE: "${{ inputs.hax_repository }}/${{ inputs.hax_reference }}"
+    - name: Install binaries
+      shell: bash
+      run: nix profile install "$FLAKE"#hax "$FLAKE"#hax-env "$FLAKE"#fstar
+      env:
+        FLAKE: "${{ inputs.hax_repository }}/${{ inputs.hax_reference }}"
 
     - name: Setup environment variables
       shell: bash
-      run: |
-        # eval $(hax-env)
-        echo "TEST=123" >> $GITHUB_ENV
+      run: hax-env no-export >> $GITHUB_ENV