Skip to content
Build the documentation

spec: expand Never/NoReturn with precise subtyping rules #1473

Sign in to view logs

spec: expand Never/NoReturn with precise subtyping rules

spec: expand Never/NoReturn with precise subtyping rules #1473

Re-run triggered June 22, 2026 12:12
@davidhalterdavidhalter
#2309
ashishpatel26:fix/1458-never-noreturn-spec
Status Failure
Total duration 21s
Artifacts –

build-docs.yml

on: pull_request
Build documentation
15s
Build documentation
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build documentation
Process completed with exit code 2.