Check if we terminated

DOMjudge · Dec 1, 2024 · 4e5ae1a · 4e5ae1a
1 parent 12e8278
commit 4e5ae1a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh
@@ -149,3 +149,7 @@ elif [ "$version" = "all" ]; then
     mysql_root "UPDATE user SET teamid = 1 WHERE userid = 1;" $DATABASE_NAME
 fi
 section_end
+
+echo "Finished install"
+
+