diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh index a2f9365163..aebe9db05d 100755 --- a/.github/jobs/baseinstall.sh +++ b/.github/jobs/baseinstall.sh @@ -45,7 +45,7 @@ if [ "$version" = "all" ]; then ./configure \ --with-baseurl='http://localhost/domjudge/' \ --with-domjudge-user=domjudge \ - --with-judgehost-chrootdir=/chroot/domjudge | tee "$ARTIFACTS"/configure.txt + --with-judgehost-chrootdir=/home/runner/work/domjudge-packaging/domjudge-packaging/docker-gitlabci/domjudge-main/chroot | tee "$ARTIFACTS"/configure.txt make build-scripts domserver judgehost docs make install-domserver install-judgehost install-docs else diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index ec5fc282d6..7c5f11fc44 100644 --- a/.github/workflows/integration.yml +++ b/.github/workflows/integration.yml @@ -53,8 +53,6 @@ jobs: run: pstree -p - name: Install DOMjudge run: .github/jobs/baseinstall.sh all - - name: Set up chroot - run: sudo misc-tools/dj_make_chroot -a amd64 - name: Check nginx run: curl -v https://localhost/domjudge/ - name: Configure print command