Build the documentation

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

Sign in to view logs

Re-run triggered June 22, 2026 18:40

srittau

#2309

ashishpatel26:fix/1458-never-noreturn-spec

Status Success

Total duration 24s

Artifacts –

build-docs.yml

on: pull_request

Build documentation