diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index 59bf8c5374..b578617911 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 --init + 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