Use advice of random SO persons

https://stackoverflow.com/a/53092148

Author: Michael Vasseur

.github/workflows/integration.yml

@@ -86,7 +86,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=512M domjudge > /tmp/db.sql
       - name: Upload database dump for debugging
         if: ${{ !cancelled() }}
         uses: actions/upload-artifact@v3