From 5a1929c4fdb97c806cd3aabbec60e45ce464dacd Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 1 May 2026 18:04:13 +0000 Subject: [PATCH 1/2] Bump softprops/action-gh-release from 2 to 3 Bumps [softprops/action-gh-release](https://github.com/softprops/action-gh-release) from 2 to 3. - [Release notes](https://github.com/softprops/action-gh-release/releases) - [Changelog](https://github.com/softprops/action-gh-release/blob/master/CHANGELOG.md) - [Commits](https://github.com/softprops/action-gh-release/compare/v2...v3) --- updated-dependencies: - dependency-name: softprops/action-gh-release dependency-version: '3' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/release-brew.yaml | 2 +- .github/workflows/release-pypi.yaml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/release-brew.yaml b/.github/workflows/release-brew.yaml index 55b401e..35820c2 100644 --- a/.github/workflows/release-brew.yaml +++ b/.github/workflows/release-brew.yaml @@ -150,7 +150,7 @@ jobs: path: '*.bottle.*' - name: Upload release binary - uses: softprops/action-gh-release@v2 + uses: softprops/action-gh-release@v3 with: files: ${{ steps.get_package_path.outputs.bottle_name }} diff --git a/.github/workflows/release-pypi.yaml b/.github/workflows/release-pypi.yaml index 0b9649b..ac4c784 100644 --- a/.github/workflows/release-pypi.yaml +++ b/.github/workflows/release-pypi.yaml @@ -35,7 +35,7 @@ jobs: run: | echo "package_name=$(ls dist/*.whl | cut -d / -f 2)" >> $GITHUB_OUTPUT - name: Upload release binary - uses: softprops/action-gh-release@v2 + uses: softprops/action-gh-release@v3 with: files: dist/${{ steps.get_package_name.outputs.package_name }} - name: Publish package distributions to PyPI From 5abdda410a2db467bbc503b101e7b49cae0c9879 Mon Sep 17 00:00:00 2001 From: "Felipe R. Monteiro" Date: Mon, 4 May 2026 10:55:11 -0700 Subject: [PATCH 2/2] Fix invalid action versions in makefile-test.yaml Update actions/checkout to v4 and actions/setup-python to v5, as v6 does not exist and was causing the job to fail. --- .github/workflows/makefile-test.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/makefile-test.yaml b/.github/workflows/makefile-test.yaml index 24c412b..74b771b 100644 --- a/.github/workflows/makefile-test.yaml +++ b/.github/workflows/makefile-test.yaml @@ -17,9 +17,9 @@ jobs: python-version: [ '3.8', '3.9', '3.10' ] name: Python ${{ matrix.python-version }} steps: - - uses: actions/checkout@v6 + - uses: actions/checkout@v4 - name: Set up Python - uses: actions/setup-python@v6 + uses: actions/setup-python@v5 with: python-version: ${{ matrix.python-version }} - name: Install latest CBMC