For information about the package build service, see https://pkg-build.racket-lang.org/about.html The time is now Sat, 11 Apr 2026 05:07:52 +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 trace-contract && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package trace-contract) Resolved "trace-contract" via file:///home/root//catalogs/built/catalog 00: Resolved "logic-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "automata-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "contract-etc-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "graph-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "redex-etc" via file:///home/root//catalogs/built/catalog 00: Resolved "stream-etc" via file:///home/root//catalogs/built/catalog 01: Resolved "trace-contract-lib" via file:///home/root//catalogs/built/catalog Resolved "chk-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "mischief" via file:///home/root//catalogs/built/catalog 01: Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog Resolved "syntax-spec-v3" via file:///home/root//catalogs/built/catalog Resolved "version-case" via file:///home/root//catalogs/built/catalog Resolved "gen-queue-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "latex-utils" via file:///home/root//catalogs/built/catalog 01: Resolved "unstable-redex" via file:///home/root//catalogs/built/catalog Resolved "private-in" via file:///home/root//catalogs/built/catalog Resolved "seq-no-order" via file:///home/root//catalogs/built/catalog Resolved "threading-doc" via file:///home/root//catalogs/built/catalog Resolved "threading-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "meta" via file:///home/root//catalogs/built/catalog Resolved "ee-lib" via file:///home/root//catalogs/built/catalog The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of trace-contract: logic-lib automata-lib contract-etc-lib graph-lib redex-etc stream-etc trace-contract-lib chk-lib dependencies of logic-lib: mischief syntax-classes-lib syntax-spec-v3 dependencies of syntax-spec-v3: version-case dependencies of graph-lib: gen-queue-lib dependencies of redex-etc: latex-utils unstable-redex private-in dependencies of latex-utils: seq-no-order dependencies of stream-etc: threading-doc dependencies of threading-doc: threading-lib dependencies of trace-contract-lib: meta ee-lib 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 --- [5:07:57] raco setup: updating: /home/root/user/.local/share/racket/9.1/share/info-cache.rktd raco setup: --- pre-installing collections --- [5:07:57] raco setup: --- installing foreign libraries --- [5:07:57] raco setup: --- installing shared files --- [5:07:57] raco setup: --- compiling collections --- [5:07:57] raco setup: --- parallel build using 2 jobs --- [5:07:57] raco setup: 1 making: /automata-lib raco setup: 0 making: /chk-lib/chk raco setup: 0 making: /contract-etc-lib raco setup: 1 making: /ee-lib (ee-lib) raco setup: 0 making: /gen-queue-lib/data raco setup: 0 making: /gen-queue-lib/data/gen-queue raco setup: 0 making: /graph-lib/graph raco setup: 1 making: /ee-lib/private raco setup: 1 making: /ee-lib/test raco setup: 1 making: /ee-lib/test/suspend raco setup: 1 making: /latex-utils raco setup: 0 making: /logic-lib (logic) raco setup: 1 making: /latex-utils/scribble raco setup: 1 making: /latex-utils/scribble/private raco setup: 1 making: /meta raco setup: 1 making: /mischief/debug raco setup: 0 making: /logic-lib/private/pltl raco setup: 0 making: /logic-lib/private/qea raco setup: 0 making: /logic-lib/private/sl raco setup: 0 making: /mischief/mischief raco setup: 1 making: /mischief/debug/mischief/lang raco setup: 1 making: /mischief/debug/racket raco setup: 1 making: /mischief/debug/racket/base/lang raco setup: 1 making: /mischief/debug/racket/lang raco setup: 1 making: /mischief/no-debug raco setup: 1 making: /mischief/no-debug/mischief/lang raco setup: 1 making: /mischief/no-debug/racket raco setup: 1 making: /mischief/no-debug/racket/base/lang raco setup: 1 making: /mischief/no-debug/racket/lang raco setup: 1 making: /private-in raco setup: 1 making: /redex-etc raco setup: 0 making: /mischief/mischief/lang raco setup: 0 making: /mischief/mischief/private raco setup: 1 making: /redex-etc/language raco setup: 0 making: /mischief/mischief/props/lang raco setup: 0 making: /mischief/mischief/stylish raco setup: 0 making: /mischief/mischief/tests raco setup: 1 making: /redex-etc/language/lang raco setup: 1 making: /redex-etc/language/private raco setup: 1 making: /redex-etc/private raco setup: 1 making: /seq-no-order/seq-no-order raco setup: 1 making: /stream-etc raco setup: 1 making: /syntax-classes-lib/syntax/parse/class raco setup: 1 making: /syntax-spec-v3 (syntax-spec-v3) raco setup: 0 making: /threading-doc/scribblings raco setup: 0 making: /threading-lib/threading raco setup: 0 making: /threading-lib/threading/private raco setup: 0 making: /trace-contract (trace-contract) raco setup: 1 making: /syntax-spec-v3/private/ee-lib raco setup: 1 making: /syntax-spec-v3/private/ee-lib/test raco setup: 1 making: /syntax-spec-v3/private/runtime raco setup: 1 making: /syntax-spec-v3/private/syntax raco setup: 1 making: /syntax-spec-v3/private/syntax/compile raco setup: 1 making: /syntax-spec-v3/private/test raco setup: 0 making: /trace-contract/example raco setup: 1 making: /syntax-spec-v3/scribblings raco setup: 1 making: /syntax-spec-v3/tests raco setup: 1 making: /syntax-spec-v3/tests/basic-langs raco setup: 1 making: /syntax-spec-v3/tests/dsls raco setup: 0 making: /trace-contract/example/util raco setup: 0 making: /trace-contract/model raco setup: 0 making: /trace-contract/test raco setup: 1 making: /syntax-spec-v3/tests/dsls/cmdline raco setup: 0 making: /trace-contract-lib (trace-contract) raco setup: 0 making: /trace-contract-lib/private raco setup: 0 making: /unstable-redex raco setup: 1 making: /syntax-spec-v3/tests/dsls/js raco setup: 0 making: /unstable-redex/gui raco setup: 0 making: /version-case (version-case) raco setup: 0 making: /version-case/private raco setup: 1 making: /syntax-spec-v3/tests/dsls/peg raco setup: 1 making: /syntax-spec-v3/tests/dsls/peg/private raco setup: 1 making: /syntax-spec-v3/tests/dsls/peg/private/test raco setup: 1 making: /syntax-spec-v3/tests/dsls/peg/test raco setup: 1 making: /syntax-spec-v3/tests/dsls/statecharts raco setup: 1 making: /syntax-spec-v3/tests/dsls/typed-peg raco setup: --- creating launchers --- [5:08:19] raco setup: --- installing man pages --- [5:08:19] raco setup: --- building documentation --- [5:08:19] raco setup: syncing: /ee-lib/doc/ee-lib raco setup: syncing: /meta/doc/meta raco setup: syncing: /mischief/mischief/doc/mischief raco setup: syncing: /private-in/doc/private-in raco setup: syncing: /redex-etc/doc/redex-etc raco setup: syncing: /seq-no-order/seq-no-order/doc/seq-no-order raco setup: syncing: /stream-etc/doc/stream-etc raco setup: syncing: /syntax-spec-v3/doc/syntax-spec-v3 raco setup: syncing: /threading-doc/scribblings/doc/threading raco setup: syncing: /trace-contract/doc/trace-contract raco setup: syncing: /unstable-redex/doc/unstable-redex raco setup: syncing: /latex-utils/doc/utils raco setup: syncing: /version-case/doc/version-case raco setup: 0 running: /racket-index/scribblings/main/user/family.scrbl raco setup: 1 running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 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 --- [5:08:29] raco setup: --- post-installing collections --- [5:08:29] raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/all.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/bank-oo.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/bank.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/combine.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/concurrent.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/draw.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/explain.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/factory-shared.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/factory.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/files.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/fold.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/free.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/global-fold.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/has-next.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/increase.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/increment.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/indy-ignore.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/injective.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/listener.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/lock.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/logic.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/merge.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/monotone.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/multi-blame.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/mutable-key.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/nested.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/partial-order.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/reset.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/shared.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/step.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/string.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/suspect.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/take5.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/util/red-black-tree.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/util/test.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/info.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/model/compiler.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/model/semantics.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/model/syntax.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/model/test.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/scribblings/trace-contract.scrbl") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/test/attribute-contract.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/test/decl.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/test/trace-contract-macro.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/trace-contract/test/util.rkt") test) 78 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/util/red-black-tree.rkt 59 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/model/test.rkt 16 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/monotone.rkt 14 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/partial-order.rkt 11 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/files.rkt 11 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/listener.rkt 11 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/reset.rkt 10 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/has-next.rkt 10 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/test/trace-contract-macro.rkt 9 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/free.rkt 9 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/injective.rkt 9 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/test/attribute-contract.rkt 5 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/bank-oo.rkt 5 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/bank.rkt 5 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/logic.rkt 5 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/shared.rkt 4 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/all.rkt 4 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/combine.rkt 4 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/factory.rkt 4 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/suspect.rkt 4 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/take5.rkt 4 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/test/util.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/factory-shared.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/fold.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/global-fold.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/increase.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/increment.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/lock.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/multi-blame.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/mutable-key.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/nested.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/string.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/explain.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/merge.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/step.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/concurrent.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/indy-ignore.rkt 1 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/test/decl.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/draw.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/example/util/test.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/info.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/model/compiler.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/model/semantics.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/model/syntax.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/trace-contract/scribblings/trace-contract.scrbl 330 tests passed The time is now Sat, 11 Apr 2026 05:09:35 +0000