Merge pull request #177 from cryspen/karthik/secret-independence-fix-…

…new-fstar Working around regressions in typeclass inference in F*
cryspen · Jan 22, 2024 · c74d627 · c74d627
2 parents 97eb587 + 8a5dcbf
commit c74d627
Show file tree

Hide file tree

Showing 9 changed files with 3,645 additions and 1,670 deletions.
diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
@@ -41,7 +41,7 @@ jobs:
           ocaml-compiler: 4.14.1
 
       - name: ⤵ Install FStar
-        run: nix profile install github:FStarLang/FStar/bc622701c668f6b4092760879372968265d4a4e1
+        run: nix profile install github:FStarLang/FStar/v2024.01.13
 
       - name: ⤵ Clone HACL-star repository
         uses: actions/checkout@v4