The time is now Sunday, August 3rd, 2025 3:30:03am (/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: PLT_PKG_BUILD_SERVICE=1 /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto SAT && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 1 --timeout 400 --drdr --package SAT) Resolved "SAT" via file:///home/root//catalogs/built/catalog raco setup: version: 8.18.0.10 raco setup: platform: aarch64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.18.0.10 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/8.18.0.10/collects raco setup: /home/root/racket/collects/ raco setup: main pkgs: /home/root/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/root/racket/share/pkgs raco setup: /home/root//user/.local/share/racket/8.18.0.10/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.18.0.10/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [8:30:05] raco setup: updating: /home/root/user/.local/share/racket/8.18.0.10/share/info-cache.rktd raco setup: --- pre-installing collections --- [8:30:05] raco setup: --- installing foreign libraries --- [8:30:05] raco setup: --- installing shared files --- [8:30:05] raco setup: --- compiling collections --- [8:30:05] raco setup: making: /SAT raco setup: in /SAT raco setup: in /SAT/lib raco setup: in /SAT/scribblings raco setup: making: /SAT/lib raco setup: making: /SAT/scribblings raco setup: making: /SAT/tests raco setup: making: /SAT/tests/uf50-218 raco setup: making: /SAT/tests/uuf50-218 raco setup: --- creating launchers --- [8:30:05] raco setup: --- installing man pages --- [8:30:05] raco setup: --- building documentation --- [8:30:05] raco setup: syncing: /SAT/doc/SAT raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [8:30:09] raco setup: --- post-installing collections --- [8:30:09] raco test: (file "/home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/info.rkt") raco test: (file "/home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/dp.rkt") raco test: (file "/home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/dplb.rkt") raco test: (file "/home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/dpli.rkt") raco test: (file "/home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/dpll.rkt") raco test: (file "/home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/parser.rkt") raco test: (file "/home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/sat.rkt") raco test: (file "/home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/utils.rkt") raco test: (submod (file "/home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/main.rkt") test) raco test: (file "/home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/scribblings/SAT.scrbl") raco test: (file "/home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/test.rkt") 2016 /home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/main.rkt 2016 /home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/test.rkt 0 /home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/info.rkt 0 /home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/dp.rkt 0 /home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/dplb.rkt 0 /home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/dpli.rkt 0 /home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/dpll.rkt 0 /home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/parser.rkt 0 /home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/sat.rkt 0 /home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/lib/utils.rkt 0 /home/root//user/.local/share/racket/8.18.0.10/pkgs/SAT/scribblings/SAT.scrbl 4032 tests passed The time is now Sunday, August 3rd, 2025 3:34:01am