From 8b0789e3801cbee316c78222893fa6ba22ad0e79 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sat, 25 Jul 2026 13:22:44 +0000 Subject: [PATCH] chore(deps): bump actions/setup-java from 4 to 5 Bumps [actions/setup-java](https://github.com/actions/setup-java) from 4 to 5. - [Release notes](https://github.com/actions/setup-java/releases) - [Commits](https://github.com/actions/setup-java/compare/v4...v5) --- updated-dependencies: - dependency-name: actions/setup-java dependency-version: '5' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/quint.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/quint.yml b/.github/workflows/quint.yml index 26699e07..6dd041ea 100644 --- a/.github/workflows/quint.yml +++ b/.github/workflows/quint.yml @@ -37,7 +37,7 @@ jobs: node-version: 22 # `quint verify` runs Apalache on the JVM. - - uses: actions/setup-java@v4 + - uses: actions/setup-java@v5 with: distribution: temurin java-version: 17