From 63ea7bd5690acdf3aaecc71b154283000d160b91 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Tue, 26 Jul 2022 15:21:52 +0100 Subject: [PATCH] Revert "Bump docker/build-push-action from 3.0.0 to 3.1.0 (#6192)" This reverts commit 32bb60ea01b158a4e609cd65a56c16a5c96b9ab8. --- .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 04d13b1e8..e7ca0f1b5 100644 --- a/.github/workflows/docker-image.yml +++ b/.github/workflows/docker-image.yml @@ -41,7 +41,7 @@ jobs: type=edge type=sha,prefix=ubuntu-20.04-bare-z3-sha- - name: Build and push Bare Z3 Docker Image - uses: docker/build-push-action@v3.1.0 + uses: docker/build-push-action@v3.0.0 with: context: . push: true