mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
Bump docker/metadata-action from 3 to 4 (#6086)
This commit is contained in:
parent
35986f3979
commit
a7b6f30b29
2
.github/workflows/docker-image.yml
vendored
2
.github/workflows/docker-image.yml
vendored
|
@ -29,7 +29,7 @@ jobs:
|
|||
# -------
|
||||
- name: Extract metadata (tags, labels) for Bare Z3 Docker Image
|
||||
id: meta
|
||||
uses: docker/metadata-action@v3
|
||||
uses: docker/metadata-action@v4
|
||||
with:
|
||||
images: ghcr.io/z3prover/z3
|
||||
flavor: |
|
||||
|
|
Loading…
Reference in a new issue