For information about the package build service, see https://pkg-build.racket-lang.org/about.html The time is now Monday, August 18th, 2025 2:53:29am (/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 k-core && bin/racket -MCR "/home/root/"/zo: -l- raco test --jobs 2 --drdr --package k-core) Resolved "k-core" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "dannypsnl@gmail.com cyb.ai.815@gmail.com") (checksum . "760a9197d724e4706e198b3b7e85de0051d33ec0") (dependencies . (("base") ("syntax-classes-lib") ("rackunit"))) (description . "core of k theorem prover") (modules . ((lib "k/check.rkt") (lib "k/bindings.rkt") (lib "k/base.rkt") (lib "k/data.rkt") (lib "k/builtin.rkt") (lib "k/type.rkt") (lib "k/def.rkt") (lib "k/helper/stx-util.rkt") (lib "k/helper/id-hash.rkt") (lib "k/main.rkt") (lib "k/core.rkt"))) (name . "k-core") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/k-core.zip") (tags . ("proofs"))) Resolved "syntax-classes-lib" via file:///home/root//catalogs/built/catalog pkg: catalog response: #hash((author . "lexi.lambda@gmail.com") (checksum . "166834ad60b0057d6176a4f119a67833c9a33f8c") (dependencies . (("base" #:version "7.8.0.9"))) (description . "implementation (no documentation) for “syntax-classes”") (modules . ((lib "syntax/parse/class/struct-id.rkt") (lib "syntax/parse/class/local-value.rkt") (lib "syntax/parse/class/paren-shape.rkt"))) (name . "syntax-classes-lib") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/syntax-classes-lib.zip") (tags . ("syntax"))) pkg: creating link to # pkg: updating db with "syntax-classes-lib" to '#s(pkg-info (catalog "syntax-classes-lib") "166834ad60b0057d6176a4f119a67833c9a33f8c" #t) pkg: creating link to # pkg: updating db with "k-core" to '#s(pkg-info (catalog "k-core") "760a9197d724e4706e198b3b7e85de0051d33ec0" #f) The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of k-core: syntax-classes-lib raco setup: version: 8.18 raco setup: platform: x86_64-linux-natipkg [cs] raco setup: target machine: any raco setup: cross-installation: yes raco setup: installation name: 8.18 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.18/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.18/pkgs raco setup: links files: raco setup: /home/root/racket/share/links.rktd raco setup: /home/root//user/.local/share/racket/8.18/links.rktd raco setup: compiled-file roots: raco setup: /home/root//zo raco setup: same raco setup: --- updating info-domain tables --- [2:53:31] raco setup: --- pre-installing collections --- [2:53:31] raco setup: --- installing foreign libraries --- [2:53:31] raco setup: --- installing shared files --- [2:53:31] raco setup: --- compiling collections --- [2:53:31] raco setup: --- parallel build using 2 jobs --- [2:53:31] raco setup: 1 making: /k-core/k raco setup: 0 making: /syntax-classes-lib/syntax/parse/class raco setup: --- creating launchers --- [2:53:32] raco setup: --- installing man pages --- [2:53:32] raco setup: --- building documentation --- [2:53:32] raco setup: --- installing collections --- [2:53:32] raco setup: --- post-installing collections --- [2:53:32] GC: 0:atexit peak 179,017K(+108,118K); alloc 1,287,809K; major 2; minor 92; 516ms raco test: 0 (file "/home/root//user/.local/share/racket/8.18/pkgs/k-core/info.rkt") raco test: 1 (file "/home/root//user/.local/share/racket/8.18/pkgs/k-core/k/base.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.18/pkgs/k-core/k/bindings.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.18/pkgs/k-core/k/builtin.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.18/pkgs/k-core/k/check.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.18/pkgs/k-core/k/core.rkt") test) raco test: 0 (file "/home/root//user/.local/share/racket/8.18/pkgs/k-core/k/data.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.18/pkgs/k-core/k/def.rkt") raco test: 1 (submod (file "/home/root//user/.local/share/racket/8.18/pkgs/k-core/k/helper/id-hash.rkt") test) raco test: 0 (submod (file "/home/root//user/.local/share/racket/8.18/pkgs/k-core/k/helper/stx-util.rkt") test) raco test: 1 (file "/home/root//user/.local/share/racket/8.18/pkgs/k-core/k/main.rkt") raco test: 0 (file "/home/root//user/.local/share/racket/8.18/pkgs/k-core/k/type.rkt") 5 /home/root//user/.local/share/racket/8.18/pkgs/k-core/k/helper/stx-util.rkt 1 /home/root//user/.local/share/racket/8.18/pkgs/k-core/k/core.rkt 1 /home/root//user/.local/share/racket/8.18/pkgs/k-core/k/helper/id-hash.rkt 0 /home/root//user/.local/share/racket/8.18/pkgs/k-core/info.rkt 0 /home/root//user/.local/share/racket/8.18/pkgs/k-core/k/base.rkt 0 /home/root//user/.local/share/racket/8.18/pkgs/k-core/k/bindings.rkt 0 /home/root//user/.local/share/racket/8.18/pkgs/k-core/k/builtin.rkt 0 /home/root//user/.local/share/racket/8.18/pkgs/k-core/k/check.rkt 0 /home/root//user/.local/share/racket/8.18/pkgs/k-core/k/data.rkt 0 /home/root//user/.local/share/racket/8.18/pkgs/k-core/k/def.rkt 0 /home/root//user/.local/share/racket/8.18/pkgs/k-core/k/main.rkt 0 /home/root//user/.local/share/racket/8.18/pkgs/k-core/k/type.rkt 7 tests passed GC: 0:atexit peak 106,534K(+30,249K); alloc 228,242K; major 1; minor 26; 162ms The time is now Monday, August 18th, 2025 2:53:34am