Update CI to check old db upgrade

DOMjudge · Oct 20, 2024 · abed9ea · abed9ea
1 parent f74e227
commit abed9ea
Show file tree

Hide file tree

Showing 3 changed files with 1,789 additions and 3 deletions.
diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh
@@ -58,9 +58,15 @@ mysql_user "SELECT CURRENT_USER();"
 mysql_user "SELECT USER();"
 section_end
 
-section_start "Install DOMjudge database"
-/opt/domjudge/domserver/bin/dj_setup_database -uroot -proot bare-install
-section_end
+if [ "${db}" = "install" ]; then
+    section_start "Install DOMjudge database"
+    /opt/domjudge/domserver/bin/dj_setup_database -uroot -proot bare-install
+    section_end
+elif [ "${db}" = "upgrade" ]; then
+    section_start "Upgrade DOMjudge database"
+    /opt/domjudge/domserver/bin/dj_setup_database -uroot -proot upgrade
+    section_end
+fi
 
 section_start "Show PHP config"
 php -v | tee -a "$ARTIFACTS"/php.txt