disable hax extraction for now on ci

cryspen · May 17, 2024 · 13de53d · 13de53d
1 parent a4c5d6c
commit 13de53d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
@@ -92,7 +92,7 @@ jobs:
       - name: 🏃 Extract & Verify ML-KEM crate (lax)
         run: |
           cd libcrux-ml-kem
-          ./hax.py extract
+          # ./hax.py extract
           # env FSTAR_HOME=${{ github.workspace }}/fstar \
           #     HACL_HOME=${{ github.workspace }}/hacl-star \
           #     HAX_HOME=${{ github.workspace }}/hax \