Skip to content
CI

feat(evidence): Evidence Mode — claim editor, fibre & echo, residual explorer (refs #7) #487

Sign in to view logs

feat(evidence): Evidence Mode — claim editor, fibre & echo, residual explorer (refs #7)

feat(evidence): Evidence Mode — claim editor, fibre & echo, residual explorer (refs #7) #487

Triggered via pull request October 22, 2026 22:38
@hyperpolymathhyperpolymath
synchronize #201
arena/29a2d3d5-metamanifold-webui
Status Failure
Total duration 8m 32s
Artifacts –

ci.yml

on: pull_request
Code relevance
8s
Code relevance
Occupancy relevance
8s
Occupancy relevance
Julia tests
7m 58s
Julia tests
Agda proofs
45s
Agda proofs
Occupancy typed peak
Occupancy typed peak
Occupancy disagreement test
Occupancy disagreement test
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 4 warnings
Julia tests
Process completed with exit code 1.
Julia tests failed (tail)
ERROR: LoadError: UndefVarError: `DOI` not defined in `MetaManifold` Suggestion: check for spelling errors or missing imports. Stacktrace: [1] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:307 [2] top-level scope @ ~/work/MetaManifold-WebUI/MetaManifold-WebUI/src/server/server.jl:113 [3] include(mapexpr::Function, mod::Module, _path::String) @ Base ./Base.jl:307 [4] top-level scope @ ~/work/MetaManifold-WebUI/MetaManifold-WebUI/src/MetaManifold.jl:54 [5] include(mod::Module, _path::String) @ Base ./Base.jl:306 [6] __require_prelocked(pkg::Base.PkgId, env::String) @ Base ./loading.jl:2719 [7] _require_prelocked(uuidkey::Base.PkgId, env::String) @ Base ./loading.jl:2493 [8] macro expansion @ ./loading.jl:2421 [inlined] [9] macro expansion @ ./lock.jl:376 [inlined] [10] __require(into::Module, mod::Symbol) @ Base ./loading.jl:2386 [11] require(into::Module, mod::Symbol) @ Base ./loading.jl:2362 [12] include(mod::Module, _path::String) @ Base ./Base.jl:306 [13] exec_options(opts::Base.JLOptions) @ Base ./client.jl:317 [14] _start() @ Base ./client.jl:550 in expression starting at /home/runner/work/MetaManifold-WebUI/MetaManifold-WebUI/src/server/routes/doi.jl:13 in expression starting at /home/runner/work/MetaManifold-WebUI/MetaManifold-WebUI/src/server/server.jl:1 in expression starting at /home/runner/work/MetaManifold-WebUI/MetaManifold-WebUI/src/MetaManifold.jl:1 in expression starting at /home/runner/work/MetaManifold-WebUI/MetaManifold-WebUI/test/runtests.jl:82
Julia tests failed (summary)
ERROR: LoadError: UndefVarError: `DOI` not defined in `MetaManifold`
Occupancy relevance
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11d5960a326750d5838078e36cf38b85af677262. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Code relevance
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11d5960a326750d5838078e36cf38b85af677262. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Agda proofs
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11d5960a326750d5838078e36cf38b85af677262. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Julia tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@0057852bfaa89a56745cba8c7296529d2fc39830, actions/cache/save@0057852bfaa89a56745cba8c7296529d2fc39830, actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830, actions/checkout@11d5960a326750d5838078e36cf38b85af677262. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/