CI: test build from source

tom93 · Jul 21, 2024 · 1ca042d · 1ca042d
1 parent 6043349
commit 1ca042d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docker/build.sh b/docker/build.sh
@@ -59,6 +59,9 @@ echo "[ok] DOMjudge version ${VERSION} downloaded as domjudge.tar.gz"; echo
 section_end
 fi
 
+cd .. && tar c --exclude=./.git . | docker build -t domserver -f docker/domserver/Dockerfile.source -
+exit 0
+
 if [ "${BUILD_FROM_SOURCE-1}" != 0 ]; then
 echo "[..] Boostrapping..."
 tar c -C .. --exclude=./.git --exclude="./docker/*.tar.gz" . |