DOMjudge
diff --git a/‎.gitlab-ci.yml
-17 b/‎.gitlab-ci.yml
-17
diff --git a/‎gitlab/base.sh
-83 b/‎gitlab/base.sh
-83
diff --git a/‎gitlab/chroot.bats
-55 b/‎gitlab/chroot.bats
-55
diff --git a/‎gitlab/chroot_checks.sh
-45 b/‎gitlab/chroot_checks.sh
-45
diff --git a/‎gitlab/ci/integration.yml
-64 b/‎gitlab/ci/integration.yml
-64
diff --git a/‎gitlab/ci/misc.yml
-17 b/‎gitlab/ci/misc.yml
-17
diff --git a/‎gitlab/ci/template.yml
-65 b/‎gitlab/ci/template.yml
-65