changing back to v5

PHart3 · Sep 29, 2024 · 0d21d10 · 0d21d10
1 parent b111748
commit 0d21d10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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