diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml index ec6559162ce..e7ca0f1b513 100644 --- a/.github/workflows/docker-image.yml +++ b/.github/workflows/docker-image.yml @@ -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: |