From 20fe44568f8612587252fdd4124bd0de75a783ae Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 31 Jan 2023 06:32:31 -0600
Subject: [PATCH] build(deps): bump docker/build-push-action from 3 to 4 (#19)

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
---
 .github/workflows/agda.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/agda.yml b/.github/workflows/agda.yml
index 7fa8ad0..56ea4ab 100644
--- a/.github/workflows/agda.yml
+++ b/.github/workflows/agda.yml
@@ -11,7 +11,7 @@ jobs:
       - name: Set up Docker Buildx 🐋
         uses: docker/setup-buildx-action@v2
       - name: Build Docker ⚒️
-        uses: docker/build-push-action@v3
+        uses: docker/build-push-action@v4
         with:
           load: true
           tags: agda-mugen:edge