Use more recent fstar.

hacspec · Dec 24, 2024 · d267af1 · d267af1
1 parent f47b2ae
commit d267af1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/mlkem.yml b/.github/workflows/mlkem.yml
@@ -33,7 +33,7 @@ jobs:
           nix profile install ./hax
 
       - name: ⤵ Install FStar
-        run: nix profile install github:FStarLang/FStar/v2024.01.13
+        run: nix profile install github:FStarLang/FStar/v2024.09.05
 
       - name: ⤵ Clone HACL-star repository
         uses: actions/checkout@v4