Skip to content
tests

Fix review findings in the redesign's merge with #442's newest explorer #2102

Sign in to view logs

Fix review findings in the redesign's merge with #442's newest explorer

Fix review findings in the redesign's merge with #442's newest explorer #2102

Triggered via push October 24, 2026 05:22
@DeicydeDeicyde
pushed 88c3c1d
scratch/friendly2-final-b
Status Failure
Total duration 14m 18s
Artifacts 1

tests.yml

on: push
WebKit integrated book and explorer regressions
4m 44s
WebKit integrated book and explorer regressions
MathJax read-back cards (Node)
28s
MathJax read-back cards (Node)
real Lean (fixture toolchain)
7m 39s
real Lean (fixture toolchain)
real Lean skeleton suite (fixture toolchain)
14m 15s
real Lean skeleton suite (fixture toolchain)
real REPL (fixture toolchain)
1m 9s
real REPL (fixture toolchain)
Windows inspection, subprocess, and publication hardening
39s
Windows inspection, subprocess, and publication hardening
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 7 notices
test (3.13)
Process completed with exit code 1.
test (3.10)
The strategy configuration was canceled because "test._3_13" failed
test (3.10)
Process completed with exit code 1.
WebKit integrated book and explorer regressions
Process completed with exit code 1.
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"
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"
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-40066018615
5.24 MB
sha256:04fad8033a36b203b333fa49deafff45ffc946d1480c024359d8f8fa9e0365d4