diff --git a/.github/workflows/agda.yml b/.github/workflows/agda.yml index 58d8d79..25357ca 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@v5 + uses: docker/build-push-action@v6 with: load: true tags: agda-mugen:edge