diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
index c0c3c14f7..9f7b6fc2d 100644
--- 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 \