For information about the package build service, see https://pkg-build.racket-lang.org/about.html The time is now Wed, 10 Jun 2026 11:01:08 +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 verse-calculus-redex && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package verse-calculus-redex) Resolved "verse-calculus-redex" via file:///home/root//catalogs/built/catalog raco setup: version: 9.2 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 9.2 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.2/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.2/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/9.2/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [11:01:09] raco setup: updating: /home/root/user/.local/share/racket/9.2/share/info-cache.rktd raco setup: --- pre-installing collections --- [11:01:09] raco setup: --- installing foreign libraries --- [11:01:09] raco setup: --- installing shared files --- [11:01:09] raco setup: --- compiling collections --- [11:01:09] raco setup: --- parallel build using 2 jobs --- [11:01:09] raco setup: 1 making: /verse-calculus-redex raco setup: 1 making: /verse-calculus-redex/test raco setup: 1 making: /verse-calculus-redex/traces raco setup: --- creating launchers --- [11:01:12] raco setup: --- installing man pages --- [11:01:12] raco setup: --- building documentation --- [11:01:12] raco setup: syncing: /verse-calculus-redex/doc/verse-calculus-redex 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 --- [11:01:18] raco setup: --- post-installing collections --- [11:01:18] raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/eval.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/grammar.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/info.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/main.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/metafns.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/pretty.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/rules.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/calculus.scrbl") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/first.scrbl") raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/if-then-else.scrbl") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/opening.scrbl") raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/residuation.scrbl") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/traces.scrbl") raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/tuple-indexing.scrbl") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/verse-calculus-redex.scrbl") raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/stepper.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/confluence-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/eval-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/examples-test.rkt") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/grammar-test.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/metafns-build-test.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/metafns-fvs-test.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/metafns-side-test.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/paths-test.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/pretty-test.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/programs-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/rules-app-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/rules-choice-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/rules-elim-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/rules-norm-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/rules-swap-test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/rules-unify-test.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/stepper-test.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/trace-lib-test.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/trace-pict-test.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/typeset-test.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/var-order-test.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/trace-pict.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/traces/paths.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/traces/programs.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/traces/trace-lib.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/typeset.rkt") 59 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/trace-pict-test.rkt 19 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/paths-test.rkt 17 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/metafns-side-test.rkt 14 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/grammar-test.rkt 12 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/programs-test.rkt 11 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/rules-unify-test.rkt 10 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/rules-choice-test.rkt 8 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/pretty-test.rkt 8 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/var-order-test.rkt 7 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/metafns-fvs-test.rkt 7 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/rules-app-test.rkt 6 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/metafns-build-test.rkt 6 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/trace-lib-test.rkt 6 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/typeset-test.rkt 5 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/examples-test.rkt 4 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/rules-elim-test.rkt 4 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/rules-norm-test.rkt 4 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/rules-swap-test.rkt 3 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/eval-test.rkt 2 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/main.rkt 2 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/stepper-test.rkt 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/eval.rkt 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/grammar.rkt 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/info.rkt 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/metafns.rkt 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/pretty.rkt 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/rules.rkt 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/calculus.scrbl 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/first.scrbl 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/if-then-else.scrbl 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/opening.scrbl 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/residuation.scrbl 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/traces.scrbl 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/tuple-indexing.scrbl 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/scribblings/verse-calculus-redex.scrbl 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/stepper.rkt 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/test/confluence-test.rkt 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/trace-pict.rkt 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/traces/paths.rkt 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/traces/programs.rkt 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/traces/trace-lib.rkt 0 /home/root//user/.local/share/racket/9.2/pkgs/verse-calculus-redex/typeset.rkt 214 tests passed The time is now Wed, 10 Jun 2026 11:02:37 +0000