Package evaluation to test SigmaProofs on Julia 1.14.0-DEV.2309 (6e1a27e459*) started at 2026-06-06T07:05:19.287 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 17.38s ################################################################################ # Installation # Installing SigmaProofs... Resolving package versions... Installed Nettle_jll ─────── v3.10.2+0 Installed IntegerMathUtils ─ v0.1.3 Installed BitIntegers ────── v0.3.7 Installed Nettle ─────────── v1.0.0 Installed CryptoUtils ────── v0.1.1 Installed JLLWrappers ────── v1.8.0 Installed SigmaProofs ────── v0.2.4 Installed CryptoPRG ──────── v0.2.0 Installed Primes ─────────── v0.5.7 Installed Preferences ────── v1.5.2 Installed CryptoGroups ───── v0.6.1 Installing 1 artifacts Installed artifact Nettle 8.4 MiB Updating `~/.julia/environments/v1.14/Project.toml` [f8559b4c] + SigmaProofs v0.2.4 Updating `~/.julia/environments/v1.14/Manifest.toml` [c3b6d118] + BitIntegers v0.3.7 [bc997328] + CryptoGroups v0.6.1 [d846c407] + CryptoPRG v0.2.0 [04afed74] + CryptoUtils v0.1.1 [18e54dd8] + IntegerMathUtils v0.1.3 [692b3bcd] + JLLWrappers v1.8.0 [49dea1ee] + Nettle v1.0.0 [21216c6a] + Preferences v1.5.2 [27ebfcd6] + Primes v0.5.7 [f8559b4c] + SigmaProofs v0.2.4 [4c82536e] + Nettle_jll v3.10.2+0 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [8f399da3] + Libdl v1.11.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 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.2+0 [781609d7] + GMP_jll v6.3.0+2 Installation completed after 8.43s ################################################################################ # 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.4 s ✓ IntegerMathUtils 151.5 s ✓ BitIntegers 0.5 s ✓ SafeTestsets 2.8 s ✓ Preferences 57.0 s ✓ Primes 3.6 s ✓ JLLWrappers 18.9 s ✓ CryptoUtils 3.7 s ✓ Nettle_jll 2.5 s ✓ Nettle 20.6 s ✓ CryptoPRG 250.8 s ✓ CryptoGroups 196.4 s ✓ SigmaProofs 12 dependencies successfully precompiled in 710 seconds. 13 already precompiled. Precompilation completed after 747.67s ################################################################################ # Testing # Testing SigmaProofs Status `/tmp/jl_dIrPml/Project.toml` [c3b6d118] BitIntegers v0.3.7 [bc997328] CryptoGroups v0.6.1 [d846c407] CryptoPRG v0.2.0 [04afed74] CryptoUtils v0.1.1 [1bc83da4] SafeTestsets v0.1.0 [f8559b4c] SigmaProofs v0.2.4 [b77e0a4c] InteractiveUtils v1.11.0 [9a3f8284] Random v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_dIrPml/Manifest.toml` [c3b6d118] BitIntegers v0.3.7 [bc997328] CryptoGroups v0.6.1 [d846c407] CryptoPRG v0.2.0 [04afed74] CryptoUtils v0.1.1 [18e54dd8] IntegerMathUtils v0.1.3 [692b3bcd] JLLWrappers v1.8.0 [49dea1ee] Nettle v1.0.0 [21216c6a] Preferences v1.5.2 [27ebfcd6] Primes v0.5.7 [1bc83da4] SafeTestsets v0.1.0 [f8559b4c] SigmaProofs v0.2.4 [4c82536e] Nettle_jll v3.10.2+0 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [8f399da3] Libdl v1.11.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.2+0 [781609d7] GMP_jll v6.3.0+2 Testing Running tests... ERROR: LoadError: ArgumentError: Cannot load (`using/import`) module Test into module SafeTestsets.var"##Testing ElGamal#1037" 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_dIrPml/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(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] [13] eval(mod::Module, ex::Any; opts::@Kwargs{expr_compat_mode::Bool}) @ Base.JuliaLowering /source/usr/share/julia/JuliaLowering/src/eval.jl:523 [inlined] [14] top-level scope @ ~/.julia/packages/SigmaProofs/PMQR0/test/runtests.jl:3 ┌[15] macro expansion │ @ ~/.julia/packages/SafeTestsets/raUNr/src/SafeTestsets.jl:28 [inlined] ╰──── repeated 2 times [17] include(mapexpr::Function, mod::Module, _path::String) @ Base Base.jl:327 [18] top-level scope @ none:6 [19] eval(m::Module, e::Any) @ Core boot.jl:521 [20] exec_options(opts::Base.JLOptions) @ Base client.jl:321 [21] _start() @ Base client.jl:596 in expression starting at /home/pkgeval/.julia/packages/SigmaProofs/PMQR0/test/runtests.jl:3 Testing failed after 17.18s ERROR: LoadError: Package SigmaProofs 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 811.94s: package tests unexpectedly errored