The time is now Tuesday, August 15th, 2023 3:45:34am (/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 4 -u --auto esterel-redex && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 4 --drdr --package esterel-redex) Resolved "esterel-redex" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "robby@racket-lang.org") (checksum . "41ee6fa23a3aa1bb2b1e78cbefb1272c0d0c2d91") (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") "41ee6fa23a3aa1bb2b1e78cbefb1272c0d0c2d91" #f) raco setup: version: 8.10 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.10 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.10/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.10/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.10/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 --- [7:45:36] raco setup: --- pre-installing collections --- [7:45:36] raco setup: --- installing foreign libraries --- [7:45:36] raco setup: --- installing shared files --- [7:45:36] raco setup: --- compiling collections --- [7:45:36] raco setup: --- parallel build using 4 jobs --- [7:45:36] raco setup: 3 making: /esterel-redex/esterel raco setup: 3 making: /esterel-redex/esterel/agda raco setup: 3 making: /esterel-redex/esterel/redex raco setup: --- creating launchers --- [7:45:39] raco setup: --- installing man pages --- [7:45:39] raco setup: --- building documentation --- [7:45:39] raco setup: --- installing collections --- [7:45:40] raco setup: --- post-installing collections --- [7:45:40] raco test: 0 (submod "/home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/eval.rkt" test) raco test: 1 (submod "/home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/helpers.rkt" test) raco test: 2 "/home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/lang.rkt" raco test: 3 (submod "/home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/must-can-hat.rkt" test) raco test: 2 (submod "/home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/must-can.rkt" test) raco test: 1 (submod "/home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/props.rkt" test) raco test: 0 (submod "/home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/red-and.rkt" test) raco test: 3 (submod "/home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/red-hat.rkt" test) raco test: 2 (submod "/home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/red.rkt" test) raco test: 0 "/home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/rules.scrbl" raco test: 3 "/home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/typeset.rkt" raco test: 2 "/home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/info.rkt" 73 /home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/helpers.rkt 19 /home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/must-can.rkt 15 /home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/red-and.rkt 15 /home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/red.rkt 6 /home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/eval.rkt 4 /home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/red-hat.rkt 3 /home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/must-can-hat.rkt 1 /home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/props.rkt 0 /home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/lang.rkt 0 /home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/rules.scrbl 0 /home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/esterel/redex/typeset.rkt 0 /home/root//user/.local/share/racket/8.10/pkgs/esterel-redex/info.rkt 136 tests passed The time is now Tuesday, August 15th, 2023 3:45:50am