init

.github/workflows/test.yml

@@ -0,0 +1 @@
+name: test action

action.yml

@@ -0,0 +1,28 @@
+name: 'hax'
+inputs:
+  hax_reference:
+    required: true
+    default: "main"
+  hax_repository:
+    required: true
+    default: "github:hacspec/hax"
+  hax_flake_uri:
+    required: true
+    default: "${{ inputs.hax_repository }}/${{ inputs.hax_reference }}"  
+runs:
+  using: "composite"
+  steps:
+    - uses: DeterminateSystems/nix-installer-action@main
+
+    - name: Install & configure Cachix
+        run: |
+          nix profile install nixpkgs#cachix
+          cachix use hax
+
+    - name: Install binaries
+      run: nix profile install "$FLAKE"#hax "$FLAKE"#hax-env "$FLAKE"#fstar
+      env:
+        FLAKE: ${{ inputs.hax_flake_uri }}
+
+    - name: Setup environment variables
+      run: eval $(hax-env)