From 77077db97a9d3f5cb93919464fe920559a0d8e2f Mon Sep 17 00:00:00 2001
From: Michael Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Mon, 19 Feb 2024 23:42:32 +0100
Subject: [PATCH] Fixup

---
 .github/jobs/chroot.bats | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/jobs/chroot.bats b/.github/jobs/chroot.bats
index 7aea1c6b67..02775e35bf 100644
--- 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