Package evaluation of Why on Julia 1.11.4 (a71dd056e0*) started at 2025-04-08T07:29:31.160


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

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 8.63s


################################################################################
# Installation
#

Installing Why...
   Resolving package versions...
    Updating `~/.julia/environments/v1.11/Project.toml`
  [7f495793] + Why v0.0.3
    Updating `~/.julia/environments/v1.11/Manifest.toml`
  [7f495793] + Why v0.0.3
  [2a0f44e3] + Base64 v1.11.0
  [b77e0a4c] + InteractiveUtils v1.11.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
  [8dfed614] + Test v1.11.0

Installation completed after 1.06s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...

Precompiling package dependencies...
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.11/Why/jl_OONag5".
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:35
 [2] __require(into::Module, mod::Symbol)
   @ Base ./loading.jl:2268
 [3] #invoke_in_world#3
   @ ./essentials.jl:1089 [inlined]
 [4] invoke_in_world
   @ ./essentials.jl:1086 [inlined]
 [5] require(into::Module, mod::Symbol)
   @ Base ./loading.jl:2260
 [6] include
   @ ./Base.jl:557 [inlined]
 [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:2881
 [8] top-level scope
   @ stdin:6
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.53s



################################################################################
# Testing
#

     Testing Why
      Status `/tmp/jl_cuJwZc/Project.toml`
  [7f495793] Why v0.0.3
  [9a3f8284] Random v1.11.0
  [8dfed614] Test v1.11.0
      Status `/tmp/jl_cuJwZc/Manifest.toml`
  [7f495793] Why v0.0.3
  [2a0f44e3] Base64 v1.11.0
  [b77e0a4c] InteractiveUtils v1.11.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
  [8dfed614] Test v1.11.0
     Testing Running tests...
Precompiling Why...
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:35
 [2] __require(into::Module, mod::Symbol)
   @ Base ./loading.jl:2268
 [3] #invoke_in_world#3
   @ ./essentials.jl:1089 [inlined]
 [4] invoke_in_world
   @ ./essentials.jl:1086 [inlined]
 [5] require(into::Module, mod::Symbol)
   @ Base ./loading.jl:2260
 [6] include
   @ ./Base.jl:557 [inlined]
 [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:2881
 [8] top-level scope
   @ stdin:6
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 3 seconds. 6 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.11/Why/jl_ZPhNhB".
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:35
 [2] __require(into::Module, mod::Symbol)
   @ Base ./loading.jl:2268
 [3] #invoke_in_world#3
   @ ./essentials.jl:1089 [inlined]
 [4] invoke_in_world
   @ ./essentials.jl:1086 [inlined]
 [5] require(into::Module, mod::Symbol)
   @ Base ./loading.jl:2260
 [6] include
   @ ./Base.jl:557 [inlined]
 [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:2881
 [8] top-level scope
   @ stdin:6
in expression starting at /home/pkgeval/.julia/packages/Why/6YCtn/src/Why.jl:1
in expression starting at stdin:
in expression starting at /home/pkgeval/.julia/packages/Why/6YCtn/test/runtests.jl:1

Testing failed after 9.03s

ERROR: LoadError: Package Why errored during testing
Stacktrace:
 [1] pkgerror(msg::String)
   @ Pkg.Types /opt/julia/share/julia/stdlib/v1.11/Pkg/src/Types.jl:68
 [2] test(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.PackageSpec}; coverage::Bool, julia_args::Cmd, test_args::Cmd, test_fn::Nothing, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool)
   @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:2124
 [3] test
   @ /opt/julia/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:2007 [inlined]
 [4] test(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.PackageSpec}; coverage::Bool, test_fn::Nothing, julia_args::Cmd, test_args::Cmd, force_latest_compatible_version::Bool, allow_earlier_backwards_compatible_versions::Bool, allow_reresolve::Bool, kwargs::@Kwargs{io::IOContext{IO}})
   @ Pkg.API /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:481
 [5] test(pkgs::Vector{Pkg.Types.PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd})
   @ Pkg.API /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:159
 [6] test
   @ /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:147 [inlined]
 [7] #test#74
   @ /opt/julia/share/julia/stdlib/v1.11/Pkg/src/API.jl:146 [inlined]
 [8] top-level scope
   @ /PkgEval.jl/scripts/evaluate.jl:219
in expression starting at /PkgEval.jl/scripts/evaluate.jl:210

PkgEval failed after 44.96s: package fails to precompile