Package evaluation of Why on Julia 1.13.0-DEV.111 (ce76dbf07d*) started at 2025-02-27T21:02:27.364


################################################################################
# Set-up
#


Set-up completed after 0.29s


################################################################################
# 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.32s


################################################################################
# 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 6 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_OV6o3T" (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:2383
  [3] #invoke_in_world#2
    @ ./essentials.jl:1092 [inlined]
  [4] invoke_in_world
    @ ./essentials.jl:1088 [inlined]
  [5] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2366
  [6] include(mod::Module, _path::String)
    @ Base ./Base.jl:307
  [7] 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:3004
  [8] top-level scope
    @ stdin:6
  [9] eval(m::Module, e::Any)
    @ Core ./boot.jl:488
 [10] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2855
 [11] include_string
    @ ./loading.jl:2865 [inlined]
 [12] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:326
 [13] _start()
    @ Base ./client.jl:560
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 19.59s



################################################################################
# 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:2383
  [3] #invoke_in_world#2
    @ ./essentials.jl:1092 [inlined]
  [4] invoke_in_world
    @ ./essentials.jl:1088 [inlined]
  [5] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2366
  [6] include(mod::Module, _path::String)
    @ Base ./Base.jl:307
  [7] 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:3004
  [8] top-level scope
    @ stdin:6
  [9] eval(m::Module, e::Any)
    @ Core ./boot.jl:488
 [10] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2855
 [11] include_string
    @ ./loading.jl:2865 [inlined]
 [12] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:326
 [13] _start()
    @ Base ./client.jl:560
in expression starting at /home/pkgeval/.julia/packages/Why/6YCtn/src/Why.jl:1
in expression starting at stdin:6
           ✗ Why
  0 dependencies successfully precompiled in 5 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_zpX5YA" (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:2383
  [3] #invoke_in_world#2
    @ ./essentials.jl:1092 [inlined]
  [4] invoke_in_world
    @ ./essentials.jl:1088 [inlined]
  [5] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2366
  [6] include(mod::Module, _path::String)
    @ Base ./Base.jl:307
  [7] 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:3004
  [8] top-level scope
    @ stdin:6
  [9] eval(m::Module, e::Any)
    @ Core ./boot.jl:488
 [10] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2855
 [11] include_string
    @ ./loading.jl:2865 [inlined]
 [12] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:326
 [13] _start()
    @ Base ./client.jl:560
in expression starting at /home/pkgeval/.julia/packages/Why/6YCtn/src/Why.jl:1
in expression starting at stdin:

Loading failed after 7.78s

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:598 [inlined]
 [2] run(::Cmd; wait::Bool)
   @ Base ./process.jl:513
 [3] run(::Cmd)
   @ Base ./process.jl:510
 [4] top-level scope
   @ /PkgEval.jl/scripts/evaluate.jl:193
 [5] include(mod::Module, _path::String)
   @ Base ./Base.jl:307
 [6] exec_options(opts::Base.JLOptions)
   @ Base ./client.jl:328
 [7] _start()
   @ Base ./client.jl:560
in expression starting at /PkgEval.jl/scripts/evaluate.jl:184

PkgEval failed after 47.58s: package fails to precompile