Skip to content
tests

Integrate mathematical book reading and dependency exploration #2089

Sign in to view logs

Integrate mathematical book reading and dependency exploration

Integrate mathematical book reading and dependency exploration #2089

Triggered via pull request October 24, 2026 02:30
@DeicydeDeicyde
synchronize #442
feat/integrated-book-explorer
Status Cancelled
Total duration 20m 21s
Artifacts 1

tests.yml

on: pull_request
WebKit integrated book and explorer regressions
6m 27s
WebKit integrated book and explorer regressions
MathJax read-back cards (Node)
23s
MathJax read-back cards (Node)
real Lean (fixture toolchain)
7m 48s
real Lean (fixture toolchain)
real Lean skeleton suite (fixture toolchain)
20m 17s
real Lean skeleton suite (fixture toolchain)
real REPL (fixture toolchain)
1m 12s
real REPL (fixture toolchain)
Windows inspection, subprocess, and publication hardening
46s
Windows inspection, subprocess, and publication hardening
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 7 notices
WebKit integrated book and explorer regressions
Process completed with exit code 1.
real Lean skeleton suite (fixture toolchain)
Canceling since a higher priority waiting request for tests-442 exists
real Lean skeleton suite (fixture toolchain)
The operation was canceled.
tests
Canceling since a higher priority waiting request for tests-442 exists
MathJax read-back cards (Node)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
real REPL (fixture toolchain)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
test (3.13)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
test (3.10)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
WebKit integrated book and explorer regressions
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
real Lean (fixture toolchain)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
real Lean skeleton suite (fixture toolchain)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

Artifacts

Produced during runtime
Name Size Digest
integrated-ui-evidence-40054434797
5.5 MB
sha256:8b4d0c7627976b92465d622e4db0c5c1cd682bd9aec4b5b448dccfaa752f0028