Skip to content

Add more rules about when expressions diverge #4711

Add more rules about when expressions diverge

Add more rules about when expressions diverge #4711

Triggered via pull request September 29, 2026 22:45
Status Failure
Total duration 2m 1s
Artifacts 1

main.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 1 warning, and 7 notices
code-tests
Process completed with exit code 101.
Success gate
Process completed with exit code 1.
preview
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
dev-guide build check
"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"
mdbook-spec
"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"
tools
"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"
code-tests
"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"
preview
"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"
style-tests
"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"
Success gate
"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
preview-2186
3.38 MB
sha256:6c150e7b98fab1f79cc7dad57a5b0e7281b28d5c4c4dc5bca70da016abb66023