Package evaluation to test Why on Julia 1.14.0-DEV.2802 (918269a29b*) started at 2026-07-29T00:10:55.531 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 15.57s ################################################################################ # 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.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [9e88b42a] + Serialization v1.11.0 [f489334b] + StyledStrings v1.13.0 [8dfed614] + Test v1.11.0 Installation completed after 1.27s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompiling project... 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:56 [2] __require(into::Module, mod::Symbol) @ Base loading.jl:2610 [3] require(into::Module, mod::Symbol) @ Base loading.jl:2593 [inlined] [4] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String) @ Base 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, flags::UInt8) @ Base module.jl:137 [inlined] [7] top-level scope @ ~/.julia/packages/Why/6YCtn/src/Why.jl:1 [8] include(mod::Module, _path::String) @ Base Base.jl:329 [9] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3359 [10] top-level scope @ stdin:5 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 6 seconds. 8 already precompiled. 1 dependency had output during precompilation: ┌ Why │ 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:56 │ [2] __require(into::Module, mod::Symbol) │ @ Base loading.jl:2610 │ [3] require(into::Module, mod::Symbol) │ @ Base loading.jl:2593 [inlined] │ [4] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String) │ @ Base 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, flags::UInt8) │ @ Base module.jl:137 [inlined] │ [7] top-level scope │ @ ~/.julia/packages/Why/6YCtn/src/Why.jl:1 │ [8] include(mod::Module, _path::String) │ @ Base Base.jl:329 │ [9] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3359 │ [10] top-level scope │ @ stdin:5 │ in expression starting at /home/pkgeval/.julia/packages/Why/6YCtn/src/Why.jl:1 │ in expression starting at stdin:5 └ 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_ndJlzR" (ProcessExited(1)). in expression starting at /PkgEval.jl/scripts/precompile.jl:34 Precompilation failed after 32.02s ################################################################################ # Testing # Testing Why Status `/tmp/jl_wh1BPL/Project.toml` [7f495793] Why v0.0.3 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_wh1BPL/Manifest.toml` [7f495793] Why v0.0.3 [2a0f44e3] Base64 v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.13.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:56 [2] __require(into::Module, mod::Symbol) @ Base loading.jl:2610 [3] require(into::Module, mod::Symbol) @ Base loading.jl:2593 [inlined] [4] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String) @ Base 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, flags::UInt8) @ Base module.jl:137 [inlined] [7] top-level scope @ ~/.julia/packages/Why/6YCtn/src/Why.jl:1 [8] include(mod::Module, _path::String) @ Base Base.jl:329 [9] include_package_for_output(pkg::Base.PkgId, input::String, syntax_version::VersionNumber, 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:3359 [10] top-level scope @ stdin:5 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_oJZQO3" (ProcessExited(1)). in expression starting at /home/pkgeval/.julia/packages/Why/6YCtn/test/runtests.jl:1 Testing failed after 24.83s 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:3247 [3] 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:587 [4] 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 [5] test(pkgs::Vector{String}; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:160 [6] test(pkg::String; kwargs::@Kwargs{julia_args::Cmd}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [7] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:223 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 102.03s: package fails to precompile