Package evaluation of Why on Julia 1.13.0-DEV.449 (8d6b63c3a6*) started at 2025-04-28T23:07:20.492 ################################################################################ # Set-up # Set-up completed after 0.23s ################################################################################ # Installation # Installing Why... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [7f495793] + Why v0.0.3 Updating `~/.julia/environments/v1.13/Manifest.toml` [7f495793] + Why v0.0.3 [2a0f44e3] + Base64 v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [9e88b42a] + Serialization v1.11.0 [f489334b] + StyledStrings v1.11.0 [8dfed614] + Test v1.11.0 Installation completed after 2.18s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml` No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml` Precompiling package dependencies... Precompiling packages... ✗ Why 0 dependencies successfully precompiled in 4 seconds. 8 already precompiled. ERROR: LoadError: The following 1 direct dependency failed to precompile: Why Failed to precompile Why [7f495793-cad1-50ff-b494-a17fbecc6ac4] to "/home/pkgeval/.julia/compiled/v1.13/Why/jl_VZdXAQ" (ProcessExited(1)). ERROR: LoadError: `using/import Random` outside of a Module detected. Importing a package outside of a module is not allowed during package precompilation. Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2351 [3] require(into::Module, mod::Symbol) @ Base ./loading.jl:2334 [4] include(mod::Module, _path::String) @ Base ./Base.jl:303 [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) @ Base ./loading.jl:2978 [6] top-level scope @ stdin:5 [7] eval(m::Module, e::Any) @ Core ./boot.jl:489 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2824 [9] include_string @ ./loading.jl:2834 [inlined] [10] exec_options(opts::Base.JLOptions) @ Base ./client.jl:329 [11] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/Why/6YCtn/src/Why.jl:1 in expression starting at stdin: in expression starting at /PkgEval.jl/scripts/precompile.jl:37 Precompilation failed after 15.33s ################################################################################ # Loading # Loading Why... Precompiling packages... Info Given Why was explicitly requested, output will be shown live  ERROR: LoadError: `using/import Random` outside of a Module detected. Importing a package outside of a module is not allowed during package precompilation. Stacktrace:  [1] error(s::String)  @ Base ./error.jl:44  [2] __require(into::Module, mod::Symbol)  @ Base ./loading.jl:2351  [3] require(into::Module, mod::Symbol)  @ Base ./loading.jl:2334  [4] include(mod::Module, _path::String)  @ Base ./Base.jl:303  [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)  @ Base ./loading.jl:2978  [6] top-level scope  @ stdin:5  [7] eval(m::Module, e::Any)  @ Core ./boot.jl:489  [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:2824  [9] include_string  @ ./loading.jl:2834 [inlined]  [10] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:329  [11] _start()  @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/Why/6YCtn/src/Why.jl:1 in expression starting at stdin:5 ✗ Why 0 dependencies successfully precompiled in 4 seconds. 8 already precompiled. ERROR: The following 1 direct dependency failed to precompile: Why Failed to precompile Why [7f495793-cad1-50ff-b494-a17fbecc6ac4] to "/home/pkgeval/.julia/compiled/v1.13/Why/jl_AdV487" (ProcessExited(1)). ERROR: LoadError: `using/import Random` outside of a Module detected. Importing a package outside of a module is not allowed during package precompilation. Stacktrace: [1] error(s::String) @ Base ./error.jl:44 [2] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2351 [3] require(into::Module, mod::Symbol) @ Base ./loading.jl:2334 [4] include(mod::Module, _path::String) @ Base ./Base.jl:303 [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing) @ Base ./loading.jl:2978 [6] top-level scope @ stdin:5 [7] eval(m::Module, e::Any) @ Core ./boot.jl:489 [8] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2824 [9] include_string @ ./loading.jl:2834 [inlined] [10] exec_options(opts::Base.JLOptions) @ Base ./client.jl:329 [11] _start() @ Base ./client.jl:563 in expression starting at /home/pkgeval/.julia/packages/Why/6YCtn/src/Why.jl:1 in expression starting at stdin: Loading failed after 6.76s ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --pkgimages=existing -e 'using Why'`, ProcessExited(1)) [1] Stacktrace: [1] pipeline_error @ ./process.jl:602 [inlined] [2] run(::Cmd; wait::Bool) @ Base ./process.jl:517 [3] run(::Cmd) @ Base ./process.jl:514 [4] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:193 [5] include(mod::Module, _path::String) @ Base ./Base.jl:303 [6] exec_options(opts::Base.JLOptions) @ Base ./client.jl:331 [7] _start() @ Base ./client.jl:563 in expression starting at /PkgEval.jl/scripts/evaluate.jl:184 PkgEval failed after 41.15s: package fails to precompile