From 794f129ab8edbfef559c0a93a1efdc52a10ae4ee Mon Sep 17 00:00:00 2001
From: maximebuyse <45398004+maximebuyse@users.noreply.github.com>
Date: Thu, 15 Jan 2026 16:57:13 +0100
Subject: [PATCH] Make F* install optional.

---
 action.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/action.yml b/action.yml
index af80755..b1ff22f 100644
--- a/action.yml
+++ b/action.yml
@@ -8,7 +8,9 @@ inputs:
     required: true
     default: "github:hacspec/hax"
   fstar:
-    required: true
+    required: false
+    default: ""
+
 runs:
   using: "composite"
   steps:
@@ -18,11 +20,14 @@ runs:
     - uses: DeterminateSystems/magic-nix-cache-action@main
       with:
         use-flakehub: false
+
     - name: Install F*
+      if: inputs.fstar != ''
       shell: bash
       run: nix profile install "$FLAKE"
       env:
         FLAKE: "github:fstarlang/fstar/${{ inputs.fstar }}"
+
     - name: Install hax
       shell: bash
       run: nix profile install "$FLAKE"#hax