Change of quates not needed

DOMjudge · Dec 8, 2024 · cb47040 · cb47040
1 parent 1ad3150
commit cb47040
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/jobs/baseinstall.sh b/.github/jobs/baseinstall.sh
@@ -68,7 +68,7 @@ EOF
 cat ~/.my.cnf
 
 mysql_root "CREATE DATABASE IF NOT EXISTS \`$DATABASE_NAME\` DEFAULT CHARACTER SET utf8mb4 COLLATE utf8mb4_unicode_ci;"
-mysql_root "CREATE USER IF NOT EXISTS 'domjudge'@'%' IDENTIFIED BY 'domjudge';"
+mysql_root "CREATE USER IF NOT EXISTS \`domjudge\`@'%' IDENTIFIED BY 'domjudge';"
 mysql_root "GRANT SELECT, INSERT, UPDATE, DELETE ON \`$DATABASE_NAME\`.* TO 'domjudge'@'%';"
 mysql_root "FLUSH PRIVILEGES;"