Skip to content

Commit f6d5541

Browse files
authoredOct 19, 2022
Bump docker/build-push-action from 3.1.1 to 3.2.0 (Z3Prover#6405)
1 parent 4c79e63 commit f6d5541

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed
 

‎.github/workflows/docker-image.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ jobs:
4141
type=edge
4242
type=sha,prefix=ubuntu-20.04-bare-z3-sha-
4343
- name: Build and push Bare Z3 Docker Image
44-
uses: docker/build-push-action@v3.1.1
44+
uses: docker/build-push-action@v3.2.0
4545
with:
4646
context: .
4747
push: true

0 commit comments

Comments
 (0)
Please sign in to comment.