The time is now Thursday, May 15th, 2025 10:12:09am
(/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: DISPLAY=:1 DISPLAY=:1 PLTSTDOUT=debug@pkg info@GC:major /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 plai-typed && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package plai-typed)
Resolved "plai-typed" via file:///home/root//catalogs/built/catalog
pkg: catalog response: #hash((author . "mflatt@cs.utah.edu") (checksum . "10814972d09157a9a2ff5517d0d65deb2c6ea379") (dependencies . (("base") ("plai") ("racket-doc") ("rackunit-lib") ("scheme-doc") ("scribble-lib" #:version "1.16"))) (description . "The `plai-typed' language for use with Programming Languages: Application and Interpretation, Second Edition\r\n") (modules . ((lib "plai-typed/tests/ta-scope.rkt") (lib "plai-typed/tests/submod2.rkt") (lib "plai-typed/tests/use-typed-basic.rkt") (lib "plai-typed/tests/submod3.rkt") (lib "plai-typed/tests/repl.rkt") (lib "plai-typed/private/types.rkt") (lib "plai-typed/tests/hygiene.rkt") (lib "plai-typed/private/s-exp.rkt") (lib "plai-typed/tests/basic.rkt") (lib "plai-typed/tests/submod.rkt") (lib "plai-typed/tests/parse.rkt") (lib "plai-typed/plai-typed.scrbl") (lib "plai-typed/tests/untyped.rkt") (lib "plai-typed/main.rkt") (lib "plai-typed/private/collapse.rkt") (lib "plai-typed/tests/rename.rkt") (lib "plai-typed/untyped.scrbl") (lib "plai-typed/tests/untyped-use-untyped.rkt") (lib "plai-typed/tests/synerror.rkt") (lib "plai-typed/tests/use-basic.rkt") (lib "plai-typed/tests/use-untyped.rkt") (lib "plai-typed/tests/values.rkt") (lib "plai-typed/private/fixup-quote.rkt") (lib "plai-typed/untyped.rkt"))) (name . "plai-typed") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/plai-typed.zip") (tags . ("language" "textbook")))
pkg: creating link to #<path:/home/root//user/.local/share/racket/8.17/pkgs/plai-typed>
pkg: updating db with "plai-typed" to '#s(pkg-info (catalog "plai-typed") "10814972d09157a9a2ff5517d0d65deb2c6ea379" #f)
raco setup: version: 8.17
raco setup: platform: x86_64-linux-natipkg [cs]
raco setup: target machine: any
raco setup: cross-installation: yes
raco setup: installation name: 8.17
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.17/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.17/pkgs
raco setup: links files: 
raco setup:   /home/root/racket/share/links.rktd
raco setup:   /home/root//user/.local/share/racket/8.17/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 ---                    [10:12:11]
raco setup: updating: /home/root/user/.local/share/racket/8.17/share/info-cache.rktd
raco setup: --- pre-installing collections ---                     [10:12:11]
raco setup: --- installing foreign libraries ---                   [10:12:11]
raco setup: --- installing shared files ---                        [10:12:11]
raco setup: --- compiling collections ---                          [10:12:11]
raco setup: --- parallel build using 2 jobs ---                    [10:12:11]
raco setup: 1 making: <pkgs>/plai-typed/plai-typed
raco setup: 1 making: <pkgs>/plai-typed/plai-typed/private
raco setup: 1 making: <pkgs>/plai-typed/plai-typed/tests
raco setup: --- creating launchers ---                             [10:12:14]
raco setup: --- installing man pages ---                           [10:12:14]
raco setup: --- building documentation ---                         [10:12:14]
raco setup: syncing: <pkgs>/plai-typed/plai-typed/doc/plai-typed
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 0 running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: 1 running: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: 0 rendering: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: 0 rendering: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: 1 rendering: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: --- installing collections ---                         [10:12:20]
raco setup: --- post-installing collections ---                    [10:12:20]
GC: 0:atexit peak 351,872K(+179,555K); alloc 7,187,808K; major 5; minor 397; 2787ms
raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/info.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/info.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/main.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/plai-typed.scrbl")
raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/private/collapse.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/private/fixup-quote.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/private/s-exp.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/private/types.rkt")
raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/basic.rkt") test)
raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/hygiene.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/parse.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/rename.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/repl.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/submod.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/submod2.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/submod3.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/synerror.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/ta-scope.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/untyped-use-untyped.rkt")
raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/untyped.rkt") test)
raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/use-basic.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/use-typed-basic.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/use-untyped.rkt")
raco test: 0 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/values.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/untyped.rkt")
raco test: 1 (file "/home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/untyped.scrbl")
  24 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/synerror.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/info.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/info.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/main.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/plai-typed.scrbl
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/private/collapse.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/private/fixup-quote.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/private/s-exp.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/private/types.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/basic.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/hygiene.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/parse.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/rename.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/repl.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/submod.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/submod2.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/submod3.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/ta-scope.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/untyped-use-untyped.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/untyped.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/use-basic.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/use-typed-basic.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/use-untyped.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/tests/values.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/untyped.rkt
   0 /home/root//user/.local/share/racket/8.17/pkgs/plai-typed/plai-typed/untyped.scrbl
24 tests passed
GC: 0:atexit peak 105,396K(+33,427K); alloc 355,452K; major 1; minor 41; 192ms
The time is now Thursday, May 15th, 2025 10:12:29am