First pass to cache the chroot

.github/workflows/build-gitlab-container-PR.yml

@@ -48,6 +48,23 @@ jobs:
         with:
           images: ghcr.io/${{ github.repository }}
 
+      - name: Building an example chroot...
+        run: |
+          sudo apt install make pkg-config sudo debootstrap libcgroup-dev php-cli php-curl php-json php-xml php-zip lsof procps gcc g++ libcgroup-dev make acl zip unzip pv mariadb-server nginx php php-fpm php-gd php-cli php-intl php-mbstring php-mysql php-curl php-json php-xml php-zip composer ntp python3-yaml php-bcmath
+          cd docker-gitlabci
+            wget https://github.com/DOMjudge/domjudge/archive/refs/heads/main.zip
+            unzip main.zip
+            cd domjudge-main
+              make configure
+              ./configure --with-domjudge-user=domjudge --with-judgehost_chrootdir="$(pwd)/chroot"
+            cd misc-tools
+              make dj_make_chroot
+              sudo ./dj_make_chroot
+              sudo tar cf "$(pwd)/chroot" chroot.tar
+
+      - run: |
+          sudo find . -name chroot
+          pwd
       - name: Build and push Docker images
         uses: docker/build-push-action@v5
         with:

docker-gitlabci/Dockerfile

@@ -63,3 +63,6 @@ RUN wget $GITHUBDICTIONARY -O $CODESPELLDICTLOCATION
 # Do some extra setup
 RUN mkdir -p /run/php \
  && rm /etc/php/*/fpm/pool.d/www.conf
+
+COPY ["domjudge-main/chroot.tar", "/"]
+ADD ["domjudge-main/chroot.tar", "/"]

docker-gitlabci/build.sh

@@ -1,5 +1,6 @@
 #!/bin/bash -e
 
+# This script is not used in GHA CI
 if [[ -n ${CI} ]]
 then
         set -euxo pipefail