For information about the package build service, see https://pkg-build.racket-lang.org/about.html The time is now Mon, 23 Feb 2026 02:50:57 +0000 (/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: /usr/bin/xvfb-run --auto-servernum -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto acl2s-scribblings && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package acl2s-scribblings) Resolved "acl2s-scribblings" via file:///home/root//catalogs/built/catalog 00: Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-class-or" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of acl2s-scribblings: syntax-classes-lib syntax-class-or raco setup: version: 9.1 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 9.1 raco setup: variants: cs raco setup: main collects: /home/root/racket/collects/ raco setup: collects paths: raco setup: /home/root/user/.local/share/racket/9.1/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/9.1/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/9.1/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [2:50:59] raco setup: updating: /home/root/user/.local/share/racket/9.1/share/info-cache.rktd raco setup: --- pre-installing collections --- [2:50:59] raco setup: --- installing foreign libraries --- [2:50:59] raco setup: --- installing shared files --- [2:50:59] raco setup: --- compiling collections --- [2:50:59] raco setup: --- parallel build using 2 jobs --- [2:50:59] raco setup: 1 making: /acl2s-scribblings raco setup: 0 making: /syntax-class-or/syntax/parse raco setup: 0 making: /syntax-class-or/syntax/parse/syntax-class-or raco setup: 0 making: /syntax-classes-lib/syntax/parse/class raco setup: --- creating launchers --- [2:51:02] raco setup: --- installing man pages --- [2:51:02] raco setup: --- building documentation --- [2:51:02] raco setup: syncing: /acl2s-scribblings/doc/acl2s raco setup: syncing: /syntax-class-or/syntax/parse/syntax-class-or/doc/syntax-class-or raco setup: 1 running: /racket-index/scribblings/main/user/family.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/family.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [2:51:10] raco setup: --- post-installing collections --- [2:51:10] raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/acl2s-placeholder.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/acl2s-printer.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/info.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/scribblings/acl2s.scrbl") raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/util/branch-conditions.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/util/check-generator-predicate.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/util/stx.rkt") 9 /home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/util/branch-conditions.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/util/check-generator-predicate.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/acl2s-placeholder.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/acl2s-printer.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/info.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/scribblings/acl2s.scrbl 0 /home/root//user/.local/share/racket/9.1/pkgs/acl2s-scribblings/util/stx.rkt 10 tests passed The time is now Mon, 23 Feb 2026 02:51:15 +0000