Package evaluation to test Why on Julia 1.14.0-DEV.87 (8bcaa34afa*) started at 2025-11-15T07:29:50.154


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

Installing PkgEval dependencies (TestEnv)...

Set-up completed after 9.36s


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

Installing Why...
   Resolving package versions...
    Updating `~/.julia/environments/v1.14/Project.toml`
  [7f495793] + Why v0.0.3
    Updating `~/.julia/environments/v1.14/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 v1.0.0
  [9e88b42a] + Serialization v1.11.0
  [f489334b] + StyledStrings v1.11.0
  [8dfed614] + Test v1.11.0

Installation completed after 1.01s


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

Precompiling PkgEval dependencies...

┌ Error: Failed to use TestEnv.jl; test dependencies will not be precompiled
│   exception =
│    UndefVarError: `project_rel_path` not defined in `TestEnv`
│    Suggestion: this global was defined as `Pkg.Operations.project_rel_path` but not assigned a value.
│    Stacktrace:
│     [1] get_test_dir(ctx::Pkg.Types.Context, pkgspec::PackageSpec)
│       @ TestEnv ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/common.jl:75
│     [2] test_dir_has_project_file
│       @ ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/common.jl:52 [inlined]
│     [3] maybe_gen_project_override!
│       @ ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/common.jl:83 [inlined]
│     [4] activate(pkg::String; allow_reresolve::Bool)
│       @ TestEnv ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/activate_set.jl:12
│     [5] activate(pkg::String)
│       @ TestEnv ~/.julia/packages/TestEnv/i9lgt/src/julia-1.11/activate_set.jl:9
│     [6] top-level scope
│       @ /PkgEval.jl/scripts/precompile.jl:24
│     [7] include(mod::Module, _path::String)
│       @ Base ./Base.jl:309
│     [8] exec_options(opts::Base.JLOptions)
│       @ Base ./client.jl:344
│     [9] _start()
│       @ Base ./client.jl:577
└ @ Main /PkgEval.jl/scripts/precompile.jl:26
Precompiling package dependencies...
Precompiling packages...
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:2461
  [3] require
    @ ./loading.jl:2444 [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
    @ ./module.jl:137 [inlined]
  [7] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
  [8] top-level scope
    @ ~/.julia/packages/Why/6YCtn/src/Why.jl:1
  [9] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [10] 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:3148
 [11] top-level scope
    @ stdin:5
 [12] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [13] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2994
 [14] include_string
    @ ./loading.jl:3004 [inlined]
 [15] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:342
 [16] _start()
    @ Base ./client.jl:577
in expression starting at /home/pkgeval/.julia/packages/Why/6YCtn/src/Why.jl:1
in expression starting at stdin:5

Precompilation completed after 16.58s


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

     Testing Why
      Status `/tmp/jl_1DCcu1/Project.toml`
  [7f495793] Why v0.0.3
  [9a3f8284] Random v1.11.0
  [8dfed614] Test v1.11.0
      Status `/tmp/jl_1DCcu1/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 v1.0.0
  [9e88b42a] Serialization v1.11.0
  [f489334b] StyledStrings v1.11.0
  [8dfed614] Test v1.11.0
     Testing Running tests...
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:2461
  [3] require
    @ ./loading.jl:2444 [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
    @ ./module.jl:137 [inlined]
  [7] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
  [8] top-level scope
    @ ~/.julia/packages/Why/6YCtn/src/Why.jl:1
  [9] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [10] 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:3148
 [11] top-level scope
    @ stdin:5
 [12] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [13] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2994
 [14] include_string
    @ ./loading.jl:3004 [inlined]
 [15] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:342
 [16] _start()
    @ Base ./client.jl:577
in expression starting at /home/pkgeval/.julia/packages/Why/6YCtn/src/Why.jl:1
in expression starting at stdin:5

  1 dependency had output during precompilation:
┌ Why
│  [Output was shown above]
└  
ERROR: LoadError: The following 1 package failed to precompile:

Why 
Failed to precompile Why [7f495793-cad1-50ff-b494-a17fbecc6ac4] to "/home/pkgeval/.julia/compiled/v1.14/Why/jl_NP7a3H" (ProcessExited(1)).

in expression starting at /home/pkgeval/.julia/packages/Why/6YCtn/test/runtests.jl:1

Testing failed after 11.86s

ERROR: LoadError: Package Why errored during testing
Stacktrace:
  [1] pkgerror(msg::String)
    @ Pkg.Types /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Types.jl:68
  [2] test(ctx::Pkg.Types.Context, pkgs::Vector{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.14/Pkg/src/Operations.jl:2946
  [3] test
    @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:2795 [inlined]
  [4] test(ctx::Pkg.Types.Context, pkgs::Vector{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.14/Pkg/src/API.jl:572
  [5] kwcall(::@NamedTuple{julia_args::Cmd, io::IOContext{IO}}, ::typeof(Pkg.API.test), ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:548
  [6] test(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{julia_args::Cmd})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172
  [7] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkgs::Vector{PackageSpec})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:161
  [8] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd})
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160
  [9] test
    @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [inlined]
 [10] kwcall(::@NamedTuple{julia_args::Cmd}, ::typeof(Pkg.API.test), pkg::String)
    @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159
 [11] top-level scope
    @ /PkgEval.jl/scripts/evaluate.jl:219
 [12] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [13] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:344
 [14] _start()
    @ Base ./client.jl:577
in expression starting at /PkgEval.jl/scripts/evaluate.jl:210

PkgEval failed after 53.66s: package fails to precompile