debug

DOMjudge · Aug 27, 2024 · 9b31f7d · 9b31f7d
1 parent 680f06c
commit 9b31f7d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh
@@ -26,7 +26,7 @@ section_start "Install domserver"
 make configure
 if [ "$version" = "all" ]; then
     ./configure \
-      --with-baseurl='https://localhost/domjudge/' \
+      --with-baseurl='http://localhost/domjudge/' \
       --with-domjudge-user=domjudge \
       --with-judgehost-chrootdir=/chroot/domjudge | tee "$ARTIFACTS"/configure.txt
     make build-scripts domserver judgehost docs

diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
@@ -39,13 +39,9 @@ jobs:
         run: sudo misc-tools/dj_make_chroot -a amd64
       - name: Check nginx
         run: curl -v https://localhost/domjudge/
-      - name: Check nginx2
-        run: openssl x509 -in /tmp/server.crt -text -noout
-      - name: Check nginx3
-        run: export REQUESTS_CA_BUNDLE=/tmp/server.crt && python3 -c "import requests; print(requests.get('https://localhost/domjudge/api/contests').text)" 
       - name: Testing submit client
         working-directory: submit
-        run: export REQUESTS_CA_BUNDLE=/tmp/server.crt && make check-full
+        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