For information about the package build service, see https://pkg-build.racket-lang.org/about.html The time is now Sat, 11 Apr 2026 01:57:55 +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 logic && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package logic) Resolved "logic" via file:///home/root//catalogs/built/catalog 00: Resolved "logic-lib" via file:///home/root//catalogs/built/catalog 00: Resolved "automata-doc" via file:///home/root//catalogs/built/catalog 01: Resolved "automata-lib" via file:///home/root//catalogs/built/catalog 01: Resolved "chk-lib" via file:///home/root//catalogs/built/catalog Resolved "threading-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 The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of logic: logic-lib automata-doc automata-lib chk-lib threading-lib dependencies of logic-lib: mischief syntax-classes-lib syntax-spec-v3 dependencies of syntax-spec-v3: version-case 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 --- [1:57:59] raco setup: updating: /home/root/user/.local/share/racket/9.1/share/info-cache.rktd raco setup: --- pre-installing collections --- [1:57:59] raco setup: --- installing foreign libraries --- [1:57:59] raco setup: --- installing shared files --- [1:57:59] raco setup: --- compiling collections --- [1:57:59] raco setup: --- parallel build using 2 jobs --- [1:57:59] raco setup: 1 making: /automata-doc raco setup: 0 making: /automata-lib raco setup: 0 making: /chk-lib/chk raco setup: 0 making: /logic (logic) raco setup: 1 making: /logic-lib (logic) raco setup: 1 making: /logic-lib/private/pltl raco setup: 1 making: /logic-lib/private/qea raco setup: 0 making: /logic/tests raco setup: 1 making: /logic-lib/private/sl raco setup: 1 making: /mischief/debug 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: /syntax-classes-lib/syntax/parse/class raco setup: 1 making: /syntax-spec-v3 (syntax-spec-v3) 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: 1 making: /syntax-spec-v3/scribblings raco setup: 1 making: /syntax-spec-v3/tests raco setup: 0 making: /mischief/mischief/lang raco setup: 0 making: /mischief/mischief/private 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: /syntax-spec-v3/tests/basic-langs raco setup: 0 making: /threading-lib/threading raco setup: 0 making: /threading-lib/threading/private raco setup: 0 making: /version-case (version-case) raco setup: 0 making: /version-case/private raco setup: 1 making: /syntax-spec-v3/tests/dsls 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/state-machine-oo raco setup: 1 making: /syntax-spec-v3/tests/dsls/stlc-lang raco setup: 1 making: /syntax-spec-v3/tests/dsls/tiny-hdl raco setup: 1 making: /syntax-spec-v3/tests/dsls/typed-peg/private raco setup: --- creating launchers --- [1:58:19] raco setup: --- installing man pages --- [1:58:19] raco setup: --- building documentation --- [1:58:19] raco setup: syncing: /automata-doc/doc/automata raco setup: syncing: /logic/doc/logic raco setup: syncing: /mischief/mischief/doc/mischief raco setup: syncing: /syntax-spec-v3/doc/syntax-spec-v3 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: 1 running: /racket-index/scribblings/main/user/release.scrbl raco setup: 0 running: /racket-index/scribblings/main/user/search.scrbl raco setup: 0 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 --- [1:58:30] raco setup: --- post-installing collections --- [1:58:30] raco test: 0 (file "/home/root//user/.local/share/racket/9.1/pkgs/logic/info.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/9.1/pkgs/logic/scribblings/logic.scrbl") raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/logic/tests/dfa.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/logic/tests/match.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/logic/tests/nfa.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/logic/tests/pltl.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/logic/tests/qea.rkt") test) pltl.rkt: racket test: #< from /logic/tests/pltl.rkt:59:3: (convert-syntax-error (let () (define-pltl f2 (∃ (i c) (∨ (next i) (iterator c i)))) (void))) predicate : "exception" non-empty stderr raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/logic/tests/re.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/logic/tests/relation.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/9.1/pkgs/logic/tests/sl.rkt") test) 1/46 test failures 18 /home/root//user/.local/share/racket/9.1/pkgs/logic/tests/match.rkt 10 /home/root//user/.local/share/racket/9.1/pkgs/logic/tests/nfa.rkt 6 /home/root//user/.local/share/racket/9.1/pkgs/logic/tests/dfa.rkt 4 /home/root//user/.local/share/racket/9.1/pkgs/logic/tests/relation.rkt 3 /home/root//user/.local/share/racket/9.1/pkgs/logic/tests/sl.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/logic/tests/qea.rkt 2 /home/root//user/.local/share/racket/9.1/pkgs/logic/tests/re.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/logic/info.rkt 0 /home/root//user/.local/share/racket/9.1/pkgs/logic/scribblings/logic.scrbl 1 1 /home/root//user/.local/share/racket/9.1/pkgs/logic/tests/pltl.rkt The time is now Sat, 11 Apr 2026 01:58:34 +0000