The time is now Saturday, March 1st, 2025 12:33:27am (/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 esterel-redex && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package esterel-redex) Resolved "esterel-redex" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "robby@racket-lang.org") (checksum . "4f2824d3dc7ae39d7a93cf695b94deeaf32b81c8") (dependencies . (("base") ("redex-lib") ("redex-gui-lib") ("pict-lib") ("scribble-lib"))) (description . "Redex code related to Esterel in Racket") (modules . ((lib "esterel/redex/helpers.rkt") (lib "esterel/redex/eval.rkt") (lib "esterel/redex/lang.rkt") (lib "esterel/redex/props.rkt") (lib "esterel/redex/red-and.rkt") (lib "esterel/redex/must-can.rkt") (lib "esterel/redex/red-hat.rkt") (lib "esterel/redex/typeset.rkt") (lib "esterel/redex/rules.scrbl") (lib "esterel/redex/must-can-hat.rkt") (lib "esterel/redex/red.rkt"))) (name . "esterel-redex") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/esterel-redex.zip") (tags . ("esterel" "redex"))) pkg: creating link to # pkg: updating db with "esterel-redex" to '#s(pkg-info (catalog "esterel-redex") "4f2824d3dc7ae39d7a93cf695b94deeaf32b81c8" #f) raco setup: version: 8.16 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.16 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.16/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.16/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.16/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 --- [0:33:28] raco setup: --- pre-installing collections --- [0:33:28] raco setup: --- installing foreign libraries --- [0:33:28] raco setup: --- installing shared files --- [0:33:28] raco setup: --- compiling collections --- [0:33:28] raco setup: --- parallel build using 2 jobs --- [0:33:28] raco setup: 1 making: /esterel-redex/esterel/redex raco setup: --- creating launchers --- [0:33:32] raco setup: --- installing man pages --- [0:33:32] raco setup: --- building documentation --- [0:33:32] raco setup: --- installing collections --- [0:33:32] raco setup: --- post-installing collections --- [0:33:32] GC: 0:atexit peak 206,938K(+94,733K); alloc 2,867,218K; major 2; minor 154; 912ms raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/eval.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/helpers.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/lang.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/must-can-hat.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/must-can.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/props.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/red-and.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/red-hat.rkt") test) raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/red.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/rules.scrbl") raco test: 0 (file "/home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/typeset.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/info.rkt") 73 /home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/helpers.rkt 19 /home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/must-can.rkt 15 /home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/red-and.rkt 15 /home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/red.rkt 6 /home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/eval.rkt 4 /home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/red-hat.rkt 3 /home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/must-can-hat.rkt 1 /home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/props.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/lang.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/rules.scrbl 0 /home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/esterel/redex/typeset.rkt 0 /home/root//user/.local/share/racket/8.16/pkgs/esterel-redex/info.rkt 136 tests passed GC: 0:atexit peak 209,717K(+38,674K); alloc 657,506K; major 2; minor 76; 587ms The time is now Saturday, March 1st, 2025 12:33:41am