sha3-hax ci fixup

Author: franziskuskiefer

.github/workflows/sha3-hax.yml

@@ -27,27 +27,27 @@ jobs:
   # NOTE: This always runs, even if the `hax_ref` workflow input is provided.
   # TODO: Move this reusable workflow to a standalone action
 
-extract:
-  runs-on: ubuntu-latest
-
-  steps:
-    - uses: actions/checkout@v5
-    - uses: hacspec/hax-actions@main
-      with:
-        hax_reference: ${{ github.event.inputs.hax_ref }}
-        fstar: v2025.02.17
-
-    - name: 🏃 Extract SHA3 crate
-      working-directory: libcrux-sha3
-      run: ./hax.py extract
-
-    - name: ↑ Upload F* extraction (standard)
-      uses: actions/upload-artifact@v4
-      with:
-        name: fstar-extractions-standard
-        path: "**/proofs/fstar"
-        include-hidden-files: true
-        if-no-files-found: error
+  extract:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v5
+      - uses: hacspec/hax-actions@main
+        with:
+          hax_reference: ${{ github.event.inputs.hax_ref }}
+          fstar: v2025.02.17
+
+      - name: 🏃 Extract SHA3 crate
+        working-directory: libcrux-sha3
+        run: ./hax.py extract
+
+      - name: ↑ Upload F* extraction (standard)
+        uses: actions/upload-artifact@v4
+        with:
+          name: fstar-extractions-standard
+          path: "**/proofs/fstar"
+          include-hidden-files: true
+          if-no-files-found: error
 
   extract-portable:
     if: ${{ github.event_name != 'merge_group' }}
@@ -96,39 +96,39 @@ extract:
       - name: 🏃 Lax SHA3 crate (portable)
         working-directory: libcrux-sha3
         run: ./hax.py prove --admit
-        
+
   sha3-extract-hax-status:
     if: ${{ always() }}
     needs: [extract]
     runs-on: ubuntu-latest
     steps:
       - name: Successful
-        if: ${{ !(contains(needs.*.result, 'failure')) }} 
-        run: exit 0 
+        if: ${{ !(contains(needs.*.result, 'failure')) }}
+        run: exit 0
       - name: Failing
-        if: ${{ (contains(needs.*.result, 'failure')) }} 
-        run: exit 1 
+        if: ${{ (contains(needs.*.result, 'failure')) }}
+        run: exit 1
 
   sha3-extract-portable-hax-status:
     if: ${{ always() }}
     needs: [extract-portable]
     runs-on: ubuntu-latest
     steps:
       - name: Successful
-        if: ${{ !(contains(needs.*.result, 'failure')) }} 
-        run: exit 0 
+        if: ${{ !(contains(needs.*.result, 'failure')) }}
+        run: exit 0
       - name: Failing
-        if: ${{ (contains(needs.*.result, 'failure')) }} 
-        run: exit 1 
+        if: ${{ (contains(needs.*.result, 'failure')) }}
+        run: exit 1
 
   sha3-lax-portable-hax-status:
     if: ${{ always() }}
     needs: [lax-portable]
     runs-on: ubuntu-latest
     steps:
       - name: Successful
-        if: ${{ !(contains(needs.*.result, 'failure')) }} 
-        run: exit 0 
+        if: ${{ !(contains(needs.*.result, 'failure')) }}
+        run: exit 0
       - name: Failing
-        if: ${{ (contains(needs.*.result, 'failure')) }} 
-        run: exit 1
+        if: ${{ (contains(needs.*.result, 'failure')) }}
+        run: exit 1