Repository navigation
Fix what the explorer's typesetting left: refs, rereads, focus rings, labels #2226
Triggered via pull request
October 24, 2026 20:07
Deicyde
Status
Cancelled
Total duration
1m 37s
Artifacts
–
tests.yml
on: pull_request
WebKit dependency explorer regressions
1m 18s
MathJax read-back cards (Node)
18s
real Lean (fixture toolchain)
1m 29s
real Lean skeleton suite (fixture toolchain)
1m 31s
real REPL (fixture toolchain)
1m 8s
Windows inspection, subprocess, and publication hardening
41s
Matrix: test
Annotations
12 errors and 7 notices
|
real REPL (fixture toolchain)
Canceling since a higher priority waiting request for tests-468 exists
|
|
WebKit dependency explorer regressions
Canceling since a higher priority waiting request for tests-468 exists
|
|
WebKit dependency explorer regressions
The operation was canceled.
|
|
real Lean (fixture toolchain)
Canceling since a higher priority waiting request for tests-468 exists
|
|
real Lean (fixture toolchain)
The operation was canceled.
|
|
real Lean skeleton suite (fixture toolchain)
Canceling since a higher priority waiting request for tests-468 exists
|
|
real Lean skeleton suite (fixture toolchain)
The operation was canceled.
|
|
test (3.13)
Canceling since a higher priority waiting request for tests-468 exists
|
|
test (3.13)
The operation was canceled.
|
|
tests
Canceling since a higher priority waiting request for tests-468 exists
|
|
test (3.10)
Canceling since a higher priority waiting request for tests-468 exists
|
|
test (3.10)
The operation was canceled.
|
|
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 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 (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"
|
|
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"
|