Bump actions/checkout from 3 to 4 (#32)

moves-rwth · May 22, 2024 · 0a6afa6 · 0a6afa6
2 parents 8949b38 + ea79f4e
commit 0a6afa6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml
@@ -33,7 +33,7 @@ jobs:
  run: |
  ([[ ${{ matrix.debugOrRelease }} == "debug" ]] && echo "BUILD_TYPE=Debug" || echo "BUILD_TYPE=Release") >> $GITHUB_ENV
  - name: Git clone
- uses: actions/checkout@v3
+ uses: actions/checkout@v4
 
  - name: Build Carl-storm
  run: docker build -t movesrwth/carl-storm:ci-${{ matrix.debugOrRelease }} . --build-arg BASE_IMAGE=movesrwth/storm-basesystem:${{ matrix.distro }} --build-arg build_type=${BUILD_TYPE} --build-arg no_threads=${NR_JOBS}
@@ -64,7 +64,7 @@ jobs:
  if: github.repository_owner == 'moves-rwth' && github.ref == 'refs/heads/master'
  run: echo "${{ secrets.STORM_CI_DOCKER_PASSWORD }}" | docker login -u "${{ secrets.STORM_CI_DOCKER_USERNAME }}" --password-stdin
  - name: Git clone
- uses: actions/checkout@v3
+ uses: actions/checkout@v4
 
  - name: Build Carl-storm
  run: docker build -t movesrwth/carl-storm:ci-${{ matrix.debugOrRelease }} . --build-arg BASE_IMAGE=movesrwth/storm-basesystem:${{ matrix.distro }} --build-arg build_type=${BUILD_TYPE} --build-arg no_threads=${NR_JOBS}