Merge branch 'main' into stable_codegen_find_debug_info

model-checking · Dec 8, 2023 · 8763c4a · 8763c4a
2 parents ba20eb1 + 2aca488
commit 8763c4a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -284,7 +284,7 @@ jobs:
  OWNER: '${{ github.repository_owner }}'
 
  - name: Build and push
- uses: docker/build-push-action@v3
+ uses: docker/build-push-action@v5
  with:
  context: .
  file: scripts/ci/Dockerfile.bundle-release-20-04