diff --git a/.github/workflows/plinth-certifier-tests.yml b/.github/workflows/plinth-certifier-tests.yml index 587bfa06860..e9df076838e 100644 --- a/.github/workflows/plinth-certifier-tests.yml +++ b/.github/workflows/plinth-certifier-tests.yml @@ -29,7 +29,7 @@ jobs: - name: Upload results if: always() - uses: actions/upload-artifact@v4 + uses: actions/upload-artifact@v7 with: name: certifier-results path: agda-certificates/__results__.txt @@ -37,7 +37,7 @@ jobs: - name: Upload certificate logs if: failure() - uses: actions/upload-artifact@v4 + uses: actions/upload-artifact@v7 with: name: certifier-logs path: |