The time is now Monday, August 10th, 2020 12:12:43am (/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 /usr/bin/xvfb-run -n 1 /bin/sh -c cd "/home/root/"/racket && bin/raco pkg install -u --auto redex-parameter && bin/raco test --drdr --package redex-parameter) Resolved "redex-parameter" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "camoy@ccs.neu.edu") (checksum . "10d1b1549d16080f337feeba220088761ee8186d") (dependencies . (("base") ("redex-lib") ("scribble-lib") ("racket-doc") ("rackunit-lib") ("redex-doc") ("sandbox-lib"))) (description . "Parameterized reduction relations in Redex.") (modules . ((lib "redex/scribblings/redex-parameter.scrbl") (lib "redex/private/test.rkt") (lib "redex/parameter.rkt"))) (name . "redex-parameter") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/redex-parameter.zip") (tags . ("redex"))) pkg: creating single-collection link to # pkg: updating db with "redex-parameter" to '#s((sc-pkg-info pkg-info 3) (catalog "redex-parameter") "10d1b1549d16080f337feeba220088761ee8186d" #f "redex") raco setup: version: 7.8 raco setup: platform: x86_64-linux-natipkg [3m] raco setup: target machine: racket raco setup: installation name: 7.8 raco setup: variants: 3m raco setup: main collects: /home/root/racket/collects raco setup: collects paths: raco setup: /home/root/user/.racket/7.8/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/.racket/7.8/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.racket/7.8/links.rktd raco setup: main docs: /home/root/racket/doc raco setup: --- updating info-domain tables --- [0:12:46] raco setup: updating: /home/root/racket/share/info-cache.rktd raco setup: updating: /home/root/user/.racket/7.8/share/info-cache.rktd raco setup: --- pre-installing collections --- [0:12:46] raco setup: --- installing foreign libraries --- [0:12:46] raco setup: --- installing shared files --- [0:12:46] raco setup: --- compiling collections --- [0:12:46] raco setup: making: /redex-doc/redex/scribblings raco setup: making: /redex-doc/redex/scribblings/extended-exercises raco setup: making: /redex-doc/redex/scribblings/long-tut raco setup: making: /redex-doc/redex/scribblings/long-tut/code raco setup: making: /redex-doc/redex/scribblings/long-tut/exercise raco setup: making: /redex-doc/redex/scribblings/ref raco setup: making: /redex-gui-lib/redex/private raco setup: making: /redex-lib/redex/private raco setup: making: /redex-parameter raco setup: making: /redex-parameter/private raco setup: making: /redex-parameter/scribblings raco setup: making: /redex-pict-lib/redex/private raco setup: --- creating launchers --- [0:12:46] raco setup: --- installing man pages --- [0:12:46] raco setup: --- building documentation --- [0:12:46] raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: syncing: /redex-parameter/doc/redex-parameter raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- [0:12:52] raco setup: --- post-installing collections --- [0:12:52] raco test: "/home/root//user/.racket/7.8/pkgs/redex-parameter/info.rkt" raco test: "/home/root//user/.racket/7.8/pkgs/redex-parameter/parameter.rkt" raco test: (submod "/home/root//user/.racket/7.8/pkgs/redex-parameter/private/test.rkt" test) raco test: "/home/root//user/.racket/7.8/pkgs/redex-parameter/scribblings/redex-parameter.scrbl" 15 /home/root//user/.racket/7.8/pkgs/redex-parameter/private/test.rkt 0 /home/root//user/.racket/7.8/pkgs/redex-parameter/info.rkt 0 /home/root//user/.racket/7.8/pkgs/redex-parameter/parameter.rkt 0 /home/root//user/.racket/7.8/pkgs/redex-parameter/scribblings/redex-parameter.scrbl 15 tests passed The time is now Monday, August 10th, 2020 12:12:57am