Fixup

Author: Michael Vasseur

.github/workflows/integration.yml

@@ -18,14 +18,14 @@ jobs:
           - sql: mariadb
             sql_options: --health-cmd="healthcheck.sh --connect --innodb_initialized" --health-interval=10s --health-timeout=5s --health-retries=3
           - sql: mysql
-            sql_options: --connect
+            sql_options: --health-cmd="mysqladmin ping" --health-interval=5s --health-timeout=2s --health-retries=3
     container:
       image: domjudge/gitlabci:24.04
       options: --privileged --cgroupns=host --init
     services:
       sqlserver:
         image: ${{ matrix.sql }}
-        #options: ${{ matrix.sql_options }}
+        options: ${{ matrix.sql_options }}
         ports:
           - 3306:3306
         env: