From d46c1b90278ad5e9bd294a5b7f10ff2e34009270 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 19 Jun 2026 17:42:35 +0000 Subject: [PATCH] Bump actions/checkout from 6 to 7 Bumps [actions/checkout](https://github.com/actions/checkout) from 6 to 7. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v6...v7) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '7' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/buildtest.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml index 3e21528..8030af1 100644 --- a/.github/workflows/buildtest.yml +++ b/.github/workflows/buildtest.yml @@ -54,7 +54,7 @@ jobs: } steps: - name: Git clone - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Build project from Dockerfile run: | docker build -t movesrwth/storm-starter . \ @@ -105,7 +105,7 @@ jobs: with: xcode-version: ${{ matrix.config.xcode }} - name: Git clone - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Install dependencies # cmake and gmp are already installed run: |