Are any of the options for SQL needed

Author: Michael Vasseur

.github/workflows/integration.yml

@@ -18,20 +18,20 @@ 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:
+            sql_options: ''
     container:
       image: domjudge/gitlabci:24.04
       options: --privileged --cgroupns=host --init
     services:
       sqlserver:
         image: ${{ matrix.sql }}
+        options: --health-cmd="healthcheck.sh --connect --innodb_initialized" --health-interval=10s --health-timeout=5s --health-retries=3
         ports:
           - 3306:3306
         env:
           MYSQL_ROOT_PASSWORD: root
           MYSQL_USER: domjudge
           MYSQL_PASSWORD: domjudge
-        options: ${{ matrix.sql_options }}
     steps:
       - uses: actions/checkout@v4
       - name: info