diff --git a/.github/workflows/deploy-verification.yml b/.github/workflows/deploy-verification.yml
index 229e7e8b..5544fa75 100644
--- a/.github/workflows/deploy-verification.yml
+++ b/.github/workflows/deploy-verification.yml
@@ -174,7 +174,7 @@ jobs:
       uses: actions/checkout@v5
 
     - name: Download verification artifacts
-      uses: actions/download-artifact@v5
+      uses: actions/download-artifact@v6
       with:
         name: deployment-verification-${{ github.run_number }}
 
@@ -238,7 +238,7 @@ jobs:
       uses: actions/checkout@v5
 
     - name: Download verification artifacts
-      uses: actions/download-artifact@v5
+      uses: actions/download-artifact@v6
       with:
         name: deployment-verification-${{ github.run_number }}
 
@@ -331,7 +331,7 @@ jobs:
       uses: actions/checkout@v5
 
     - name: Download verification artifacts
-      uses: actions/download-artifact@v5
+      uses: actions/download-artifact@v6
       with:
         name: deployment-verification-${{ github.run_number }}
 
diff --git a/.github/workflows/kani-regression.yml b/.github/workflows/kani-regression.yml
index 4b52b46b..8dba0d91 100644
--- a/.github/workflows/kani-regression.yml
+++ b/.github/workflows/kani-regression.yml
@@ -231,7 +231,7 @@ jobs:
       uses: actions/checkout@v5
 
     - name: Download all KANI results
-      uses: actions/download-artifact@v5
+      uses: actions/download-artifact@v6
       with:
         pattern: kani-results-*
         merge-multiple: true
diff --git a/.github/workflows/kani-verification.yml b/.github/workflows/kani-verification.yml
index d085d3a2..4fbeed24 100644
--- a/.github/workflows/kani-verification.yml
+++ b/.github/workflows/kani-verification.yml
@@ -260,7 +260,7 @@ jobs:
           echo "✅ All verification jobs completed successfully"
       
       - name: Download All Reports
-        uses: actions/download-artifact@v5
+        uses: actions/download-artifact@v6
         with:
           pattern: kani-report-*
           merge-multiple: true