Build the documentation

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

Sign in to view logs

This workflow is awaiting approval from a maintainer in #2309

Triggered via pull request June 22, 2026 17:53

synchronize #2309

ashishpatel26:fix/1458-never-noreturn-spec

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #2309

build-docs.yml

on: pull_request

Build documentation