We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a2c3ce5 commit 9073da4Copy full SHA for 9073da4
.github/workflows/docker-image.yml
@@ -41,7 +41,7 @@ jobs:
41
type=edge
42
type=sha,prefix=ubuntu-20.04-bare-z3-sha-
43
- name: Build and push Bare Z3 Docker Image
44
- uses: docker/build-push-action@v6.3.0
+ uses: docker/build-push-action@v6.4.0
45
with:
46
context: .
47
push: true
0 commit comments