diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index 86e3d85c45..e6921fa834 100644 --- a/.github/workflows/integration.yml +++ b/.github/workflows/integration.yml @@ -81,7 +81,7 @@ jobs: done - name: dump the db if: ${{ !cancelled() }} - run: mysqldump -uroot -proot domjudge > /tmp/db.sql + run: mysqldump -uroot -proot --quick --max_allowed_packet=1024M domjudge > /tmp/db.sql - name: Upload database dump for debugging if: ${{ !cancelled() }} uses: actions/upload-artifact@v4