Skip to content

Compute skeleton report hashes once during serialization #2082

Compute skeleton report hashes once during serialization

Compute skeleton report hashes once during serialization #2082

Triggered via pull request October 23, 2026 12:46
Status Success
Total duration 20m 2s
Artifacts –

tests.yml

on: pull_request
WebKit dependency explorer regressions
14m 14s
WebKit dependency explorer regressions
MathJax read-back cards (Node)
20s
MathJax read-back cards (Node)
real Lean (fixture toolchain)
8m 28s
real Lean (fixture toolchain)
real Lean skeleton suite (fixture toolchain)
19m 56s
real Lean skeleton suite (fixture toolchain)
real REPL (fixture toolchain)
1m 10s
real REPL (fixture toolchain)
Windows inspection, subprocess, and publication hardening
1m 1s
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 dependency 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"