From 719d2944fb0f6aa60c235597a1a8f1d33eac0b83 Mon Sep 17 00:00:00 2001 From: Tobias Werth Date: Sun, 4 Aug 2024 16:45:20 +0200 Subject: [PATCH] debug --- .github/workflows/integration.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index 797546be06..3871821aa5 100644 --- a/.github/workflows/integration.yml +++ b/.github/workflows/integration.yml @@ -36,7 +36,7 @@ jobs: - name: Set up chroot run: sudo misc-tools/dj_make_chroot -a amd64 - name: Check nginx - run: curl -v https://localhost/ + run: curl -v https://localhost/domjudge/ - name: Testing submit client working-directory: submit run: make check-full