Test with different SQL isolation levels

To detect potential race conditions it's good to try to restructure the queries to fit in a higher level. Some companies/universities might run with this setting.

Author: Michael Vasseur

.github/workflows/integration.yml

@@ -11,6 +11,9 @@ jobs:
   integration:
     runs-on: ubuntu-24.04
     timeout-minutes: 20
+    strategy:
+      matrix:
+        SQL_ISOLATION: ['REPEATABLE-READ', 'SERIALIZABLE']
     container:
       image: domjudge/gitlabci:24.04
       options: --privileged --cgroupns=host --init
@@ -39,6 +42,8 @@ jobs:
         run: pstree -p
       - name: Install DOMjudge
         run: .github/jobs/baseinstall.sh all
+      - name: Set SQL isolation
+        run: echo "SET GLOBAL transaction_isolation=${{ matrix.SQL_ISOLATION }};" mysql -uroot -proot -hsqlserver
       - name: Set up chroot
         run: sudo misc-tools/dj_make_chroot -a amd64
       - name: Check nginx