Test and lint

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

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 23s

Artifacts –

ci.yml

on: pull_request