From 8309b8c7942505a98e51cd6900cf2a3bf8e817d8 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Wed, 28 Feb 2024 14:46:18 +0100
Subject: [PATCH] wip

---
 action.yml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/action.yml b/action.yml
index e6bf35f..65c4eee 100644
--- 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)