wip

hacspec · Feb 28, 2024 · 8309b8c · 8309b8c
1 parent fea89b1
commit 8309b8c
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/action.yml b/action.yml
@@ -6,9 +6,6 @@ inputs:
   hax_repository:
     required: true
     default: "github:hacspec/hax"
-  hax_flake_uri:
-    required: true
-    default: "${{ inputs.hax_repository }}/${{ inputs.hax_reference }}"  
 runs:
   using: "composite"
   steps:
@@ -22,7 +19,7 @@ runs:
     - name: Install binaries
       run: nix profile install "$FLAKE"#hax "$FLAKE"#hax-env "$FLAKE"#fstar
       env:
-        FLAKE: ${{ inputs.hax_flake_uri }}
+        FLAKE: "${{ inputs.hax_repository }}/${{ inputs.hax_reference }}"
 
     - name: Setup environment variables
       run: eval $(hax-env)