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: |