From 430071a2dae3b7577f90e45f080a903e25021a23 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 6 Jan 2023 22:04:02 +0000 Subject: [PATCH] Bump actions/upload-artifact from 3.1.1 to 3.1.2 Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 3.1.1 to 3.1.2. - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](https://github.com/actions/upload-artifact/compare/v3.1.1...v3.1.2) --- 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 | 4 ++-- .github/workflows/release.yml | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index fc5ee9e7..76a241bb 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -42,7 +42,7 @@ jobs: opam exec make - name: Upload soteria_pp - uses: actions/upload-artifact@v3.1.1 + uses: actions/upload-artifact@v3.1.2 with: name: ${{ runner.os }}-binaries path: tools/verdict-back-ends/soteria_pp/bin/soteria_pp @@ -71,7 +71,7 @@ jobs: - name: Upload verdict-bundle-app if: runner.os == 'Linux' - uses: actions/upload-artifact@v3.1.1 + uses: actions/upload-artifact@v3.1.2 with: name: ${{ runner.os }}-binaries path: tools/verdict-back-ends/verdict-bundle/verdict-bundle-app/target/verdict-bundle-app-1.0.0-SNAPSHOT-capsule.jar diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 91497b6f..988db26a 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@v3.1.1 + uses: actions/upload-artifact@v3.1.2 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@v3.1.1 + uses: actions/upload-artifact@v3.1.2 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@v3.1.1 + uses: actions/upload-artifact@v3.1.2 with: name: ${{ runner.os }}-binaries path: tools/verdict-back-ends/soteria_pp/bin/soteria_pp