Skip to content
tests

Integrate mathematical book reading and dependency exploration #2254

Sign in to view logs

Integrate mathematical book reading and dependency exploration

Integrate mathematical book reading and dependency exploration #2254

Triggered via pull request October 25, 2026 06:42
@DeicydeDeicyde
synchronize #442
feat/integrated-book-explorer
Status Success
Total duration 20m 47s
Artifacts 1

tests.yml

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

Annotations

7 notices
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"
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"
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 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-40170036942
9.29 MB
sha256:d8f3ebeffb781c108fe418c862ecdaab63a52e74b540507b4533a5124194ac17