As suggested by Jaap

Author: Michael Vasseur

.github/workflows/integration.yml

@@ -48,6 +48,8 @@ jobs:
           cat /proc/cpuinfo
       - name: pstree
         run: pstree -p
+      - name: Set SQL isolation to very strict
+        run: echo "SET GLOBAL transaction_isolation='READ-COMMITTED';" mysql -uroot -proot
       - name: Install DOMjudge
         run: .github/jobs/baseinstall.sh all
       - name: Set up chroot