Bump actions/upload-artifact from 5 to 6

.github/workflows/docker-c-build-test.yml

@@ -57,7 +57,7 @@ jobs:
           export HOME=/home/user
           ./extract.sh
       - name: Upload header only C extraction
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: extraction-ml-kem-c-header-only
           path: libcrux-ml-kem/extracts/c_header_only/generated
@@ -81,7 +81,7 @@ jobs:
           ./extract.sh --no-clean
 
       - name: Upload header only C++ extraction
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: extraction-ml-kem-cpp-header-only
           path: libcrux-ml-kem/extracts/cpp_header_only/generated
@@ -105,7 +105,7 @@ jobs:
           ./boring.sh --no-clean
 
       - name: Upload header only C extraction
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: extraction-ml-dsa-header-only
           path: libcrux-ml-dsa/cg/

.github/workflows/mldsa-c.yml

@@ -71,7 +71,7 @@ jobs:
           ./boring.sh --no-clean
 
       - name: Upload header only C extraction
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: header-only-c-extraction-ml-dsa
           path: libcrux-ml-dsa/cg/

.github/workflows/mldsa-hax.yml

@@ -49,7 +49,7 @@ jobs:
         run: ./hax.sh extract
 
       - name: ↑ Upload F* extraction
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: fstar-extractions
           path: "**/proofs/fstar"

.github/workflows/mlkem-c.yml

@@ -73,7 +73,7 @@ jobs:
           ./extract.sh
 
       - name: Upload C extraction
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: c-extraction-ml-kem
           path: libcrux-ml-kem/extracts/c/generated
@@ -99,7 +99,7 @@ jobs:
           ./extract.sh
 
       - name: Upload C extraction (header only)
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: c-ho-extraction-ml-kem
           path: libcrux-ml-kem/extracts/c_header_only/generated
@@ -125,7 +125,7 @@ jobs:
           ./extract.sh --no-clean
 
       - name: Upload C++ extraction
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: cpp-ho-extraction-ml-kem
           path: libcrux-ml-kem/extracts/cpp_header_only/generated

.github/workflows/mlkem-hax.yml

@@ -48,7 +48,7 @@ jobs:
         run: ./hax.py extract
 
       - name: ↑ Upload F* extraction
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: fstar-extractions
           path: "**/proofs/fstar"

.github/workflows/sha3-hax.yml

@@ -49,7 +49,7 @@ jobs:
         run: ./hax.py extract
 
       - name: ↑ Upload F* extraction (standard)
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: fstar-extractions-standard
           path: "**/proofs/fstar"
@@ -74,7 +74,7 @@ jobs:
         run: ./hax.py extract --portable
 
       - name: ↑ Upload F* extraction (portable)
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: fstar-extractions-portable
           path: "**/proofs/fstar"