From 324e03ebd4583a4723563fc290c693450ee81e57 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Fri, 15 Dec 2023 17:50:27 +0100
Subject: [PATCH] Bump actions/upload-artifact from 3.1.3 to 4.0.0 (#53)

Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 3.1.3 to 4.0.0.
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](https://github.com/actions/upload-artifact/compare/a8a3f3ad30e3422c9c7b888a15615d19a852ae32...c7d193f32edcb7bfad88892161225aeda64e9392)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
---
 .github/workflows/doxygen.yaml   | 2 +-
 .github/workflows/klee.yaml      | 2 +-
 .github/workflows/msvc.yaml      | 2 +-
 .github/workflows/scorecard.yaml | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/doxygen.yaml b/.github/workflows/doxygen.yaml
index 3b7e490..c346323 100644
--- a/.github/workflows/doxygen.yaml
+++ b/.github/workflows/doxygen.yaml
@@ -58,7 +58,7 @@ jobs:
           tar czf ./docs.tgz docs
 
       - name: Upload Documentation
-        uses: actions/upload-artifact@a8a3f3ad30e3422c9c7b888a15615d19a852ae32 # v3.1.3
+        uses: actions/upload-artifact@c7d193f32edcb7bfad88892161225aeda64e9392 # v4.0.0
         with:
           name: docs
           path: ./docs.tgz
diff --git a/.github/workflows/klee.yaml b/.github/workflows/klee.yaml
index a766f88..df50b84 100644
--- a/.github/workflows/klee.yaml
+++ b/.github/workflows/klee.yaml
@@ -101,7 +101,7 @@ jobs:
           tar czf ./kout.tgz "${{ github.workspace }}/build/klee/kout"
 
       - name: Upload Test Outputs
-        uses: actions/upload-artifact@a8a3f3ad30e3422c9c7b888a15615d19a852ae32 # v3.1.3
+        uses: actions/upload-artifact@c7d193f32edcb7bfad88892161225aeda64e9392 # v4.0.0
         with:
           name: kout.tgz
           path: ./kout.tgz
diff --git a/.github/workflows/msvc.yaml b/.github/workflows/msvc.yaml
index 31f5f4e..6ad58aa 100644
--- a/.github/workflows/msvc.yaml
+++ b/.github/workflows/msvc.yaml
@@ -68,7 +68,7 @@ jobs:
 
       # Upload SARIF file as an Artifact to download and view
       - name: Upload SARIF as an Artifact
-        uses: actions/upload-artifact@a8a3f3ad30e3422c9c7b888a15615d19a852ae32 # v3.1.3
+        uses: actions/upload-artifact@c7d193f32edcb7bfad88892161225aeda64e9392 # v4.0.0
         with:
           name: sarif-file
           path: ${{ steps.run-analysis.outputs.sarif }}
diff --git a/.github/workflows/scorecard.yaml b/.github/workflows/scorecard.yaml
index 1c20d75..09b0bbe 100644
--- a/.github/workflows/scorecard.yaml
+++ b/.github/workflows/scorecard.yaml
@@ -64,7 +64,7 @@ jobs:
       # Upload the results as artifacts (optional). Commenting out will disable uploads of run results in SARIF
       # format to the repository Actions tab.
       - name: "Upload artifact"
-        uses: actions/upload-artifact@a8a3f3ad30e3422c9c7b888a15615d19a852ae32 # v3.1.3
+        uses: actions/upload-artifact@c7d193f32edcb7bfad88892161225aeda64e9392 # v4.0.0
         with:
           name: SARIF file
           path: results.sarif