Skip to content

Keep the parent crumb in a phone's trail #2223

Keep the parent crumb in a phone's trail

Keep the parent crumb in a phone's trail #2223

Triggered via push October 24, 2026 20:02
Status Success
Total duration 19m 56s
Artifacts 1

tests.yml

on: push
WebKit integrated book and explorer regressions
7m 35s
WebKit integrated book and explorer regressions
MathJax read-back cards (Node)
23s
MathJax read-back cards (Node)
real Lean (fixture toolchain)
8m 4s
real Lean (fixture toolchain)
real Lean skeleton suite (fixture toolchain)
19m 51s
real Lean skeleton suite (fixture toolchain)
real REPL (fixture toolchain)
1m 9s
real REPL (fixture toolchain)
Windows inspection, subprocess, and publication hardening
51s
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.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"
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"
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-40128015740
6.82 MB
sha256:93e85b6a64a14800aac7b87a943a0b92159ad292ede20d12b6db082a6ee6c8b9