Fixup

DOMjudge · Feb 19, 2024 · 77077db · 77077db
1 parent bd5365b
commit 77077db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/jobs/chroot.bats b/.github/jobs/chroot.bats
@@ -8,7 +8,7 @@ CHROOT="/chroot/domjudge"
 # Cleanup old dir
 rm -rf $CHROOT
 
-// In GHA CI we use this option to trigger all non specific architectures.
+# In GHA CI we use this option to trigger all non specific architectures.
 if [ "${ARCH}" = 'default_placeholder' ]; then
     unset $ARCH
 fi