From a7b6f30b292d8583836ed13142663ec74ae6b4d9 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 7 Jun 2022 19:41:36 +0100
Subject: [PATCH] Bump docker/metadata-action from 3 to 4 (#6086)

---
 .github/workflows/docker-image.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
index ec6559162..e7ca0f1b5 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: |