From 0d21d10a004faea686ea02613e9e0e33ffd919d1 Mon Sep 17 00:00:00 2001
From: PHart3 <perry.hart7@yahoo.com>
Date: Sun, 29 Sep 2024 08:41:34 -0500
Subject: [PATCH] changing back to v5

---
 .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 91306b2..1c6702d 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@v3
       - name: Build Docker
-        uses: docker/build-push-action@v6
+        uses: docker/build-push-action@v5
         with:
           load: true
           tags: colimit