diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index e0f95e334d..f6680a23b1 100644 --- a/.github/workflows/integration.yml +++ b/.github/workflows/integration.yml @@ -26,6 +26,7 @@ jobs: MYSQL_ROOT_PASSWORD: root MYSQL_USER: domjudge MYSQL_PASSWORD: domjudge + SUBMITBASEURL: http://localhost/domjudge/ options: --health-cmd="healthcheck.sh --connect --innodb_initialized" --health-interval=10s --health-timeout=5s --health-retries=3 steps: - uses: actions/checkout@v4 @@ -39,9 +40,9 @@ jobs: run: sudo misc-tools/dj_make_chroot -a amd64 - name: Check nginx run: curl -v https://localhost/domjudge/ - #- name: Testing submit client - # working-directory: submit - # run: make check-full + - name: Testing submit client + working-directory: submit + run: make check-full - name: Configure judgehost run: sudo cp /opt/domjudge/judgehost/etc/sudoers-domjudge /etc/sudoers.d/ && sudo chmod 400 /etc/sudoers.d/sudoers-domjudge && cat /opt/domjudge/judgehost/etc/sudoers-domjudge - name: Create user