add ;

DOMjudge · Oct 21, 2024 · e9c6272 · e9c6272
1 parent ac7a472
commit e9c6272
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/jobs/webstandard.sh b/.github/jobs/webstandard.sh
@@ -92,7 +92,7 @@ if [ "$NUM_ERRORS" -ne 0 ]; then
 fi
 section_end
 
-if [ "$TEST" != "none" ] then
+if [ "$TEST" != "none" ]; then
     if [ "$TEST" = "w3cval" ]; then
         section_start "Remove files from upstream with problems"
         rm -rf localhost/domjudge/doc