From bf26b28f4311e570281d2d11a781abfb7a5a1014 Mon Sep 17 00:00:00 2001
From: Tobias Werth <werth@cs.fau.de>
Date: Tue, 27 Aug 2024 07:19:13 +0200
Subject: [PATCH] debug

---
 .github/workflows/integration.yml | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
index ed34e438b6..59bf8c5374 100644
--- a/.github/workflows/integration.yml
+++ b/.github/workflows/integration.yml
@@ -14,19 +14,19 @@ on:
 jobs:
   integration:
     runs-on: ubuntu-24.04
-    container:
-      image: domjudge/gitlabci:24.04
-      options: --privileged --cgroupns=host
-    services:
-      sqlserver:
-        image: mariadb
-        ports:
-          - 3306:3306
-        env:
-          MYSQL_ROOT_PASSWORD: root
-          MYSQL_USER: domjudge
-          MYSQL_PASSWORD: domjudge
-        options: --health-cmd="healthcheck.sh --connect --innodb_initialized" --health-interval=10s --health-timeout=5s --health-retries=3
+      #    container:
+      #      image: domjudge/gitlabci:24.04
+      #      options: --privileged --cgroupns=host
+      #    services:
+      #      sqlserver:
+      #        image: mariadb
+      #        ports:
+      #          - 3306:3306
+      #        env:
+      #          MYSQL_ROOT_PASSWORD: root
+      #          MYSQL_USER: domjudge
+      #          MYSQL_PASSWORD: domjudge
+      #        options: --health-cmd="healthcheck.sh --connect --innodb_initialized" --health-interval=10s --health-timeout=5s --health-retries=3
     steps:
       - uses: actions/checkout@v4
       - name: info