build(deps): bump actions/upload-artifact from 4 to 5

Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 4 to 5.
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](actions/upload-artifact@v4...v5)

---
updated-dependencies:
- dependency-name: actions/upload-artifact
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

Author: dependabot[bot]

.github/workflows/ci.yml

@@ -206,7 +206,7 @@ jobs:
       - name: Generate Safety Dashboard
         run: cargo-wrt verify --asil d --detailed # Dashboard included in detailed verification
       - name: Upload Safety Artifacts
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: safety-verification-artifacts
           path: |

.github/workflows/deploy-verification.yml

@@ -152,7 +152,7 @@ jobs:
         fi
 
     - name: Upload verification artifacts
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v5
       with:
         name: deployment-verification-${{ github.run_number }}
         path: |
@@ -372,7 +372,7 @@ jobs:
         zip -r certification-evidence-${{ github.run_number }}.zip certification-evidence/
 
     - name: Upload certification package
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v5
       with:
         name: certification-evidence-${{ github.run_number }}
         path: |

.github/workflows/kani-regression.yml

@@ -200,7 +200,7 @@ jobs:
         fi
 
     - name: Upload KANI results
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v5
       if: always()
       with:
         name: kani-results-${{ matrix.asil_level }}-${{ github.run_number }}
@@ -304,7 +304,7 @@ jobs:
         echo "Coverage report generated successfully"
 
     - name: Upload coverage report
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v5
       with:
         name: kani-coverage-report-${{ github.run_number }}
         path: coverage-report.md

.github/workflows/kani-verification.yml

@@ -80,7 +80,7 @@ jobs:
         continue-on-error: true
 
       - name: Upload Quick Report
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         if: always()
         with:
           name: kani-quick-report
@@ -142,7 +142,7 @@ jobs:
         timeout-minutes: 30
 
       - name: Upload Verification Report
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         if: always()
         with:
           name: kani-report-${{ matrix.package }}-${{ matrix.asil }}
@@ -213,7 +213,7 @@ jobs:
         continue-on-error: true
 
       - name: Upload Comprehensive Report
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         if: always()
         with:
           name: kani-comprehensive-report
@@ -294,7 +294,7 @@ jobs:
           cat summary.md
       
       - name: Upload Summary
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: verification-summary
           path: summary.md

.github/workflows/pr-diagnostics.yml

@@ -343,7 +343,7 @@ jobs:
         echo '```' >> pr_comment.md
         
     - name: Upload diagnostic artifacts
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v5
       with:
         name: pr-diagnostics
         path: |

.github/workflows/security-audit.yml

@@ -60,7 +60,7 @@ jobs:
           fi
       
       - name: Upload Audit Report
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         if: always()
         with:
           name: security-audit-report
@@ -120,7 +120,7 @@ jobs:
           fi
       
       - name: Upload Safety Report
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         if: always()
         with:
           name: safety-analysis-report