Fixup

DOMjudge · Dec 8, 2024 · 5cd9781 · 5cd9781
1 parent e74e87b
commit 5cd9781
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh
@@ -54,7 +54,13 @@ else
       --enable-judgehost-build=no | tee "$ARTIFACTS"/configure.txt
     make domserver
     make install-domserver
-    cp -r doc /opt/domjudge/domserver/
+    cp -r doc /opt/domjudge/domserver/public/
+    find . /opt/domjudge/domserver/public/doc/logos/DOMjudgelogo.pdf
+    ls -atrl /opt/domjudge/domserver/webapp/public/doc/logos/DOMjudgelogo.pdf
+    ls -atrl /opt/domjudge/domserver/webapp/tests/../public/doc/logos/DOMjudgelogo.pdf
+    ls -atrl /opt/domjudge/domserver/webapp/tests/Unit/../../public/doc/logos/DOMjudgelogo.pdf
+    ls -atrl /opt/domjudge/domserver/webapp/tests/Unit/Controller/../../../public/doc/logos/DOMjudgelogo.pdf
+    ls -atrl /opt/domjudge/domserver/webapp/tests/Unit/Controller/API/../../../../public/doc/logos/DOMjudgelogo.pdf
 fi
 section_end