The time is now Wednesday, March 13th, 2024 1:00:49am (/usr/bin/env DISPLAY=:1 PLT_PKG_BUILD_SERVICE=1 PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLTSTDERR=debug@pkg error PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 2 -u --auto require-typed-check && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package require-typed-check) Resolved "require-typed-check" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "types@ccs.neu.edu") (checksum . "ebf7d661d9d2e19d0359758f3b0197dfef84357b") (dependencies . (("base") ("typed-racket-lib") ("typed-racket-more") ("scribble-lib") ("racket-doc") ("rackunit-lib") ("typed-racket-doc"))) (description . "require/typed, but skips contracts on already-typed imports") (modules . ((lib "require-typed-check/test/fsm/population.rkt") (lib "require-typed-check/private/stxcls.rkt") (lib "require-typed-check/test/fsm/main.rkt") (lib "require-typed-check/test/basic/optional-lib.rkt") (lib "require-typed-check/test/bogus/main.rkt") (lib "require-typed-check/logging.rkt") (lib "require-typed-check/main.rkt") (lib "require-typed-check/deep.rkt") (lib "require-typed-check/scribblings/require-typed-check.scrbl") (lib "require-typed-check/test/opaque/unsafe.rkt") (lib "require-typed-check/test/fsm/automata.rkt") (lib "require-typed-check/test/opaque/main.rkt") (lib "require-typed-check/test/opaque/optional.rkt") (lib "require-typed-check/private/log.rkt") (lib "require-typed-check/private/require-typed-check.rkt") (lib "require-typed-check/test/basic/deep.rkt") (lib "require-typed-check/test/opaque/untyped.rkt") (lib "require-typed-check/optional.rkt") (lib "require-typed-check/test/opaque/typed.rkt") (lib "require-typed-check/test/basic/main.rkt") (lib "require-typed-check/test/basic/unsafe.rkt") (lib "require-typed-check/test/pr/3.rkt") (lib "require-typed-check/test/opaque/shallow.rkt") (lib "require-typed-check/test/bogus/typed.rkt") (lib "require-typed-check/test/fsm/utilities.rkt") (lib "require-typed-check/test/pr/1.rkt") (lib "require-typed-check/test/basic/shallow-lib.rkt") (lib "require-typed-check/test/basic/untyped.rkt") (lib "require-typed-check/private/test-util.rkt") (lib "require-typed-check/shallow.rkt") (lib "require-typed-check/test/fsm/automata-adapted.rkt") (lib "require-typed-check/test/basic/shallow.rkt") (lib "require-typed-check/unsafe.rkt") (lib "require-typed-check/test/basic/typed.rkt") (lib "require-typed-check/test/submodule/main.rkt") (lib "require-typed-check/private/typed-lib-cache.rkt") (lib "require-typed-check/test/basic/optional.rkt"))) (name . "require-typed-check") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/require-typed-check.zip") (tags . ("contracts" "require" "typed-racket"))) pkg: creating single-collection link to # pkg: updating db with "require-typed-check" to '#s((sc-pkg-info pkg-info 3) (catalog "require-typed-check") "ebf7d661d9d2e19d0359758f3b0197dfef84357b" #f "require-typed-check") raco setup: version: 8.12 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.12 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.12/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.12/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.12/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [1:00:55] raco setup: updating: /home/root/user/.local/share/racket/8.12/share/info-cache.rktd raco setup: --- pre-installing collections --- [1:00:55] raco setup: --- installing foreign libraries --- [1:00:55] raco setup: --- installing shared files --- [1:00:55] raco setup: --- compiling collections --- [1:00:55] raco setup: --- parallel build using 2 jobs --- [1:00:55] raco setup: 1 making: /require-typed-check raco setup: 1 making: /require-typed-check/private raco setup: 1 making: /require-typed-check/scribblings raco setup: 1 making: /require-typed-check/test raco setup: 1 making: /require-typed-check/test/basic raco setup: 1 making: /require-typed-check/test/bogus raco setup: 1 making: /require-typed-check/test/fsm raco setup: 1 making: /require-typed-check/test/opaque raco setup: 1 making: /require-typed-check/test/pr raco setup: 1 making: /require-typed-check/test/submodule raco setup: --- creating launchers --- [1:01:01] raco setup: --- installing man pages --- [1:01:01] raco setup: --- building documentation --- [1:01:01] raco setup: syncing: /require-typed-check/doc/require-typed-check raco setup: 0 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: 0 running: /racket-index/scribblings/main/user/start.scrbl raco setup: 1 rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: 0 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:01:18] raco setup: --- post-installing collections --- [1:01:18] raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/deep.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/info.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/logging.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/main.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/optional.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/private/log.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/private/require-typed-check.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/private/stxcls.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/private/test-util.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/private/typed-lib-cache.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/scribblings/require-typed-check.scrbl" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/shallow.rkt" raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/deep.rkt" test) raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/main.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/optional-lib.rkt" raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/optional.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/shallow-lib.rkt" raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/shallow.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/typed.rkt" raco test: 0 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/unsafe.rkt" test) raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/untyped.rkt" raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/bogus/main.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/bogus/typed.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/fsm/automata-adapted.rkt" raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/fsm/automata.rkt" raco test: 0 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/fsm/main.rkt" test) raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/fsm/population.rkt" raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/fsm/utilities.rkt" raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/opaque/main.rkt" test) raco test: 0 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/opaque/optional.rkt" test) raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/opaque/shallow.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/opaque/typed.rkt" raco test: 0 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/opaque/unsafe.rkt" test) raco test: 1 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/opaque/untyped.rkt" raco test: 1 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/pr/1.rkt" test) raco test: 0 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/pr/3.rkt" test) raco test: 0 (submod "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/submodule/main.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/unsafe.rkt" 8 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/optional.rkt 8 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/shallow.rkt 4 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/deep.rkt 4 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/main.rkt 4 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/unsafe.rkt 2 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/opaque/main.rkt 2 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/opaque/optional.rkt 2 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/opaque/shallow.rkt 2 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/opaque/unsafe.rkt 1 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/bogus/main.rkt 1 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/pr/1.rkt 1 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/pr/3.rkt 1 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/submodule/main.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/deep.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/info.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/logging.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/main.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/optional.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/private/log.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/private/require-typed-check.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/private/stxcls.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/private/test-util.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/private/typed-lib-cache.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/scribblings/require-typed-check.scrbl 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/shallow.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/optional-lib.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/shallow-lib.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/typed.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/basic/untyped.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/bogus/typed.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/fsm/automata-adapted.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/fsm/automata.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/fsm/main.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/fsm/population.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/fsm/utilities.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/opaque/typed.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/test/opaque/untyped.rkt 0 /home/root//user/.local/share/racket/8.12/pkgs/require-typed-check/unsafe.rkt 40 tests passed The time is now Wednesday, March 13th, 2024 1:01:50am