What does exist

DOMjudge · Dec 8, 2024 · 2405828 · 2405828
1 parent 7cf183a
commit 2405828
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh
@@ -54,7 +54,9 @@ else
       --enable-judgehost-build=no | tee "$ARTIFACTS"/configure.txt
     make domserver
     make install-domserver
-    mkdir -p /opt/domjudge/domserver/webapp/public/doc/logos
+    ls -l /opt/domjudge/domserver/webapp/public
+    ls -l /opt/domjudge/domserver/webapp/public/doc
+    ls -l /opt/domjudge/domserver/webapp/public/doc/logos
     cp webapp/public/doc/logos/DOMjudgelogo.pdf /opt/domjudge/domserver/webapp/public/doc/logos/
     find /opt/domjudge/domserver -name DOMjudgelogo.pdf
 fi