Repository navigation
Name every Lean tool, link skills to their exact command, and state the default debrief #2219
Deicydetests.yml
on: pull_request
WebKit dependency explorer regressions
1m 36s
MathJax read-back cards (Node)
23s
real Lean (fixture toolchain)
7m 37s
real Lean skeleton suite (fixture toolchain)
9m 0s
real REPL (fixture toolchain)
1m 17s
Windows inspection, subprocess, and publication hardening
44s
Matrix: test
Annotations
3 errors and 7 notices
|
tests
Canceling since a higher priority waiting request for tests-463 exists
|
|
real Lean skeleton suite (fixture toolchain)
Canceling since a higher priority waiting request for tests-463 exists
|
|
real Lean skeleton suite (fixture toolchain)
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"
|
|
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"
|
|
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"
|