Skip to content

Commit 55c6362

Browse files
committed
Store the logo as we use it in tests
1 parent 7377c64 commit 55c6362

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.github/jobs/baseinstall.sh

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@ else
5454
--enable-judgehost-build=no | tee "$ARTIFACTS"/configure.txt
5555
make domserver
5656
make install-domserver
57+
cp -r ${DIR}/doc /opt/domjudge/domserver/
5758
fi
5859
section_end
5960

0 commit comments

Comments
 (0)