From 55f4493d12d9ef286c178236888e2fbfedc8f1c8 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 6 Feb 2024 11:51:12 +0000 Subject: [PATCH] Bump actions/upload-artifact from 4.3.0 to 4.3.1 Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 4.3.0 to 4.3.1. - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](https://github.com/actions/upload-artifact/compare/v4.3.0...v4.3.1) --- updated-dependencies: - dependency-name: actions/upload-artifact dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] --- .github/workflows/main.yml | 2 +- .github/workflows/release.yml | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 3348564e..9cc11df0 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -38,7 +38,7 @@ jobs: opam exec make - name: Upload soteria_pp - uses: actions/upload-artifact@v4.3.0 + uses: actions/upload-artifact@v4.3.1 with: name: ${{ runner.os }}-binaries path: tools/verdict-back-ends/soteria_pp/bin/soteria_pp diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 2b4d07e8..0c21c14b 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -51,7 +51,7 @@ jobs: - name: Upload kind2 Linux binary if: runner.os == 'Linux' - uses: actions/upload-artifact@v4.3.0 + uses: actions/upload-artifact@v4.3.1 with: name: ${{ runner.os }}-binaries path: ${{ steps.extract.outputs.destination }} @@ -65,7 +65,7 @@ jobs: - name: Upload kind2 macOS binary if: runner.os == 'macOS' - uses: actions/upload-artifact@v4.3.0 + uses: actions/upload-artifact@v4.3.1 with: name: ${{ runner.os }}-binaries path: tools/verdict-back-ends/kind2/bin/kind2 @@ -77,7 +77,7 @@ jobs: opam exec make - name: Upload soteria_pp - uses: actions/upload-artifact@v4.3.0 + uses: actions/upload-artifact@v4.3.1 with: name: ${{ runner.os }}-binaries path: tools/verdict-back-ends/soteria_pp/bin/soteria_pp