Package evaluation to test Metatheory on Julia 1.14.0-DEV.2309 (6e1a27e459*) started at 2026-06-06T05:19:46.719 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 16.89s ################################################################################ # Installation # Installing Metatheory... Resolving package versions... Installed Reexport ──────────── v1.2.2 Installed TimerOutputs ──────── v0.5.29 Installed AutoHashEquals ────── v2.2.0 Installed ExprTools ─────────── v0.1.10 Installed DocStringExtensions ─ v0.9.5 Installed Compat ────────────── v4.18.1 Installed OrderedCollections ── v1.8.2 Installed TermInterface ─────── v0.3.3 Installed DataStructures ────── v0.18.22 Installed Metatheory ────────── v2.0.2 Updating `~/.julia/environments/v1.14/Project.toml` [e9d8d322] + Metatheory v2.0.2 Updating `~/.julia/environments/v1.14/Manifest.toml` [15f4f7f2] + AutoHashEquals v2.2.0 [34da2185] + Compat v4.18.1 ⌅ [864edb3b] + DataStructures v0.18.22 [ffbed154] + DocStringExtensions v0.9.5 [e2ba6199] + ExprTools v0.1.10 [e9d8d322] + Metatheory v2.0.2 ⌅ [bac558e1] + OrderedCollections v1.8.2 [189a3867] + Reexport v1.2.2 ⌅ [8ea1fca8] + TermInterface v0.3.3 [a759f4b9] + TimerOutputs v0.5.29 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 4.84s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 6.6 s ✓ TestEnv 1 dependency successfully precompiled in 7 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... 1.3 s ✓ ANSIColoredPrinters 0.6 s ✓ Reexport 1.0 s ✓ LazilyInitializedFields 150.1 s ✓ OrderedCollections 0.5 s ✓ SafeTestsets 1.1 s ✓ DocStringExtensions 73.9 s ✓ AbstractTrees 0.9 s ✓ TermInterface 0.8 s ✓ ExprTools 0.9 s ✓ AutoHashEquals 54.2 s ✓ TranscodingStreams 0.8 s ✓ IOCapture 3.1 s ✓ StructUtils 1.5 s ✓ Compat 2.8 s ✓ Preferences 7.7 s ✓ RegistryInstances 21.4 s ✓ MarkdownAST 43.8 s ✓ TimerOutputs 19.5 s ✓ CodecZlib 0.7 s ✓ Compat → CompatLinearAlgebraExt 3.2 s ✓ JLLWrappers 3.0 s ✓ PrecompileTools 271.9 s ✓ DataStructures 3.7 s ✓ Libiconv_jll 3.8 s ✓ Git_LFS_jll 3.8 s ✓ OpenSSH_jll 3.6 s ✓ Expat_jll 38.6 s ✓ Parsers 84.4 s ✓ Metatheory 3.8 s ✓ Git_jll 108.1 s ✓ JSON 2.4 s ✓ Git 62.1 s ✓ Literate 227.4 s ✓ Documenter 34 dependencies successfully precompiled in 1206 seconds. 32 already precompiled. Precompilation completed after 1252.57s ################################################################################ # Testing # Testing Metatheory Status `/tmp/jl_5Ncdp2/Project.toml` [15f4f7f2] AutoHashEquals v2.2.0 ⌅ [864edb3b] DataStructures v0.18.22 [ffbed154] DocStringExtensions v0.9.5 [e30172f5] Documenter v1.17.0 [98b081ad] Literate v2.21.0 [e9d8d322] Metatheory v2.0.2 [189a3867] Reexport v1.2.2 [1bc83da4] SafeTestsets v0.1.0 ⌅ [8ea1fca8] TermInterface v0.3.3 [a759f4b9] TimerOutputs v0.5.29 [8dfed614] Test v1.11.0 Status `/tmp/jl_5Ncdp2/Manifest.toml` [a4c015fc] ANSIColoredPrinters v0.0.1 [1520ce14] AbstractTrees v0.4.5 [15f4f7f2] AutoHashEquals v2.2.0 [944b1d66] CodecZlib v0.7.8 [34da2185] Compat v4.18.1 ⌅ [864edb3b] DataStructures v0.18.22 [ffbed154] DocStringExtensions v0.9.5 [e30172f5] Documenter v1.17.0 [e2ba6199] ExprTools v0.1.10 [d7ba0133] Git v1.5.0 [b5f81e59] IOCapture v1.0.0 [692b3bcd] JLLWrappers v1.8.0 [682c06a0] JSON v1.6.1 [0e77f7df] LazilyInitializedFields v1.3.0 [98b081ad] Literate v2.21.0 [d0879d2d] MarkdownAST v0.1.3 [e9d8d322] Metatheory v2.0.2 ⌅ [bac558e1] OrderedCollections v1.8.2 [69de0a69] Parsers v2.8.5 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [189a3867] Reexport v1.2.2 [2792f1a3] RegistryInstances v0.1.0 [1bc83da4] SafeTestsets v0.1.0 [ec057cc2] StructUtils v2.8.2 ⌅ [8ea1fca8] TermInterface v0.3.3 [a759f4b9] TimerOutputs v0.5.29 [3bb67fe8] TranscodingStreams v0.11.3 [2e619515] Expat_jll v2.8.1+0 [020c3dae] Git_LFS_jll v3.7.1+0 [f8c6e375] Git_jll v2.54.0+0 [94ce4f54] Libiconv_jll v1.18.0+0 [9bd350c2] OpenSSH_jll v10.3.1+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [76f85450] LibGit2 v1.11.0 [8f399da3] Libdl v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [44cfe95a] Pkg v1.14.0 [de0858da] Printf v1.11.0 [3fa0cd96] REPL v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [6462fe0b] Sockets v1.11.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [a4e569a6] Tar v1.10.0 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.2+0 [deac9b47] LibCURL_jll v8.20.0+1 [e37daf67] LibGit2_jll v1.9.4+0 [29816b5a] LibSSH2_jll v1.11.101+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [458c3c95] OpenSSL_jll v3.5.6+0 [efcefdf7] PCRE2_jll v10.47.0+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850ede] nghttp2_jll v1.69.0+0 [3f19e933] p7zip_jll v17.8.0+0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. Testing Running tests... ┌ Warning: Unable to determine HTML(edit_link = ...) from remote HEAD branch, defaulting to "master". │ Calling `git remote` failed with an exception. Set JULIA_DEBUG=Documenter to see the error. │ Unless this is due to a configuration error, the relevant variable should be set explicitly. └ @ Documenter ~/.julia/packages/Documenter/AXNMp/src/utilities/utilities.jl:719 [ Info: SetupBuildDirectory: setting up build directory. [ Info: Doctest: running doctests. [ Info: Skipped ExpandTemplates step (doctest only). [ Info: Skipped CrossReferences step (doctest only). [ Info: Skipped CheckDocument step (doctest only). [ Info: Skipped Populate step (doctest only). [ Info: Skipped RenderDocument step (doctest only). Test Summary: | Pass Total Time Doctests: Metatheory | 1 1 1m28.2s [ Info: /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/classic/reductions.jl ERROR: LoadError: ArgumentError: Cannot load (`using/import`) module Test into module SafeTestsets.var"##/home/pkgeval/.julia/packages/Metatheory/ooi9X/test/classic/reductions.jl#1039" in package SafeTestsets because package SafeTestsets does not have Test in its dependencies: - Note that the following manifests in the load path were resolved with a potentially different DEV version of the current version, which may be the cause of the error. Try to re-resolve them in the current version, or consider deleting them if that fails: /tmp/jl_5Ncdp2/Manifest.toml - You may have a partially installed environment. Try `Pkg.instantiate()` to ensure all packages in the environment are installed. - Or, if you have SafeTestsets checked out for development and have added Test as a dependency but haven't updated your primary environment's manifest file, try `Pkg.resolve()`. - Otherwise you may need to report an issue with SafeTestsets Stacktrace: [1] macro expansion @ loading.jl:2583 [inlined] [2] macro expansion @ lock.jl:376 [inlined] [3] __require(into::Module, mod::Symbol) @ Base loading.jl:2563 [4] require(into::Module, mod::Symbol) @ Base loading.jl:2539 [inlined] [5] eval_import_path(at::Module, from::Nothing, path::Expr, keyword::String) @ Base module.jl:36 [inlined] [6] eval_import_path_all(at::Module, path::Expr, keyword::String) @ Base module.jl:60 [7] _eval_using(to::Module, path::Expr, flags::UInt8) @ Base module.jl:137 [inlined] [8] eval_using(to::Module, path::Expr) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/runtime.jl:207 [9] top-level scope @ ~/.julia/packages/SafeTestsets/raUNr/src/SafeTestsets.jl:29 [10] eval(m::Module, e::Any) @ Core boot.jl:521 [11] _eval(mod::Module, iter::Base.JuliaLowering.LoweringIterator{Dict{Symbol, Dict{Int64, Any}}}; soft_scope::Nothing) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:545 [12] _eval @ /source/usr/share/julia/JuliaLowering/src/eval.jl:526 [inlined] [13] #eval#133 @ /source/usr/share/julia/JuliaLowering/src/eval.jl:518 [inlined] [14] eval @ /source/usr/share/julia/JuliaLowering/src/eval.jl:513 [inlined] [15] #eval#134 @ /source/usr/share/julia/JuliaLowering/src/eval.jl:523 [inlined] [16] eval @ /source/usr/share/julia/JuliaLowering/src/eval.jl:522 [inlined] ┌[17] macro expansion │ @ ~/.julia/packages/SafeTestsets/raUNr/src/SafeTestsets.jl:28 [inlined] ╰──── repeated 2 times ┌[19] macro expansion │ @ ./timing.jl:741 [inlined] ╰──── repeated 2 times [21] macro expansion @ ./timing.jl:402 [inlined] [22] macro expansion @ ./timing.jl:397 [inlined] [23] top-level scope @ ./none:0 [24] eval(m::Module, e::Any) @ Core boot.jl:521 [25] _eval(mod::Module, iter::Base.JuliaLowering.LoweringIterator{Dict{Symbol, Dict{Int64, Any}}}; soft_scope::Nothing) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:545 [26] eval(mod::Module, ex::Base.JuliaSyntax.SyntaxTree{Dict{Symbol, Dict{Int64, Any}}}; macro_world::UInt64, soft_scope::Nothing, opts::@Kwargs{expr_compat_mode::Bool}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:518 [inlined] [27] eval(mod::Module, ex::Expr; opts::@Kwargs{expr_compat_mode::Bool}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:523 [inlined] [28] macro expansion @ ~/.julia/packages/Metatheory/ooi9X/test/runtests.jl:10 [inlined] [29] test(file::String) @ Main ~/.julia/packages/Metatheory/ooi9X/test/runtests.jl:10 [30] iterate(::Base.Generator{Vector{String}, typeof(test)}) @ Base generator.jl:48 [inlined] [31] _collect(c::Vector{String}, itr::Base.Generator{Vector{String}, typeof(test)}, ::Base.EltypeUnknown, isz::Base.HasShape{1}) @ Base array.jl:853 [32] collect_similar @ ./array.jl:768 [inlined] [33] map @ ./abstractarray.jl:3468 [inlined] ┌[34] macro expansion │ @ ./timing.jl:741 [inlined] ╰──── repeated 2 times [36] macro expansion @ ./timing.jl:475 [inlined] [37] macro expansion @ ./timing.jl:470 [inlined] [38] top-level scope @ ~/.julia/packages/Metatheory/ooi9X/test/runtests.jl:24 [39] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:327 [40] top-level scope @ none:6 [41] eval(m::Module, e::Any) @ Core boot.jl:521 [42] exec_options(opts::Base.JLOptions) @ Base client.jl:321 [43] _start() @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/Metatheory/ooi9X/test/runtests.jl:24 Testing failed after 387.01s ERROR: LoadError: Package Metatheory 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 [8] include(mod::Module, _path::String) @ Base Base.jl:326 [9] exec_options(opts::Base.JLOptions) @ Base client.jl:355 [10] _start() @ Base client.jl:596 in expression starting at /PkgEval.jl/scripts/evaluate.jl:214 PkgEval failed after 1683.42s: package tests unexpectedly errored