Merge pull request #1212 from hacspec/fix-mlkem-ci-fstar

fix(CI) Update F* version to fix mlkem CI job
hacspec · Jan 6, 2025 · b2f930b · b2f930b
2 parents f47b2ae + a252e6e
commit b2f930b
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.12.03
 
       - name: ⤵ Clone HACL-star repository
         uses: actions/checkout@v4