Merge branch 'main' into dependabot/cargo/cargo-515e28c4c0

model-checking · Dec 8, 2023 · b8ee56a · b8ee56a
2 parents 8121fc9 + 2aca488
commit b8ee56a
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