Package evaluation of Why on Julia 1.13.0-DEV.853 (3e868b27cf*) started at 2025-07-16T22:34:47.378 ################################################################################ # Set-up # Set-up completed after 0.26s ################################################################################ # 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.44s ################################################################################ # 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_splKUz" (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:2353 [3] require @ ./loading.jl:2336 [inlined] [4] eval_import_path @ ./module.jl:36 [inlined] [5] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [6] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [7] top-level scope @ ~/.julia/packages/Why/6YCtn/src/Why.jl:1 [8] include(mod::Module, _path::String) @ Base ./Base.jl:309 [9] 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:3002 [10] top-level scope @ stdin:5 [11] eval(m::Module, e::Any) @ Core ./boot.jl:489 [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2848 [13] include_string @ ./loading.jl:2858 [inlined] [14] exec_options(opts::Base.JLOptions) @ Base ./client.jl:318 [15] _start() @ Base ./client.jl:553 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.95s ################################################################################ # 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:2353  [3] require  @ ./loading.jl:2336 [inlined]  [4] eval_import_path  @ ./module.jl:36 [inlined]  [5] eval_import_path_all(at::Module, path::Expr, keyword::String)  @ Base ./module.jl:60  [6] _eval_using(to::Module, path::Expr)  @ Base ./module.jl:137  [7] top-level scope  @ ~/.julia/packages/Why/6YCtn/src/Why.jl:1  [8] include(mod::Module, _path::String)  @ Base ./Base.jl:309  [9] 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:3002  [10] top-level scope  @ stdin:5  [11] eval(m::Module, e::Any)  @ Core ./boot.jl:489  [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)  @ Base ./loading.jl:2848  [13] include_string  @ ./loading.jl:2858 [inlined]  [14] exec_options(opts::Base.JLOptions)  @ Base ./client.jl:318  [15] _start()  @ Base ./client.jl:553 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_391q9W" (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:2353 [3] require @ ./loading.jl:2336 [inlined] [4] eval_import_path @ ./module.jl:36 [inlined] [5] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base ./module.jl:60 [6] _eval_using(to::Module, path::Expr) @ Base ./module.jl:137 [7] top-level scope @ ~/.julia/packages/Why/6YCtn/src/Why.jl:1 [8] include(mod::Module, _path::String) @ Base ./Base.jl:309 [9] 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:3002 [10] top-level scope @ stdin:5 [11] eval(m::Module, e::Any) @ Core ./boot.jl:489 [12] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String) @ Base ./loading.jl:2848 [13] include_string @ ./loading.jl:2858 [inlined] [14] exec_options(opts::Base.JLOptions) @ Base ./client.jl:318 [15] _start() @ Base ./client.jl:553 in expression starting at /home/pkgeval/.julia/packages/Why/6YCtn/src/Why.jl:1 in expression starting at stdin: Loading failed after 7.05s 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:309 [6] exec_options(opts::Base.JLOptions) @ Base ./client.jl:320 [7] _start() @ Base ./client.jl:553 in expression starting at /PkgEval.jl/scripts/evaluate.jl:184 PkgEval failed after 44.57s: package fails to precompile