diff --git a/.github/workflows/docker-c-build-test.yml b/.github/workflows/docker-c-build-test.yml
index 8703e1cb1..84e99ca07 100644
--- a/.github/workflows/docker-c-build-test.yml
+++ b/.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/
diff --git a/.github/workflows/mldsa-c.yml b/.github/workflows/mldsa-c.yml
index 93e9629a3..c4a488e23 100644
--- a/.github/workflows/mldsa-c.yml
+++ b/.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/
diff --git a/.github/workflows/mldsa-hax.yml b/.github/workflows/mldsa-hax.yml
index ccdb7a50e..503f1f514 100644
--- a/.github/workflows/mldsa-hax.yml
+++ b/.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"
diff --git a/.github/workflows/mlkem-c.yml b/.github/workflows/mlkem-c.yml
index 828eb228f..a02f66cb2 100644
--- a/.github/workflows/mlkem-c.yml
+++ b/.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
diff --git a/.github/workflows/mlkem-hax.yml b/.github/workflows/mlkem-hax.yml
index 66c8e4b25..87ac153c8 100644
--- a/.github/workflows/mlkem-hax.yml
+++ b/.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"
diff --git a/.github/workflows/sha3-hax.yml b/.github/workflows/sha3-hax.yml
index 872e76899..fa42b7b0b 100644
--- a/.github/workflows/sha3-hax.yml
+++ b/.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"