Test and lint

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

Sign in to view logs

Re-run triggered June 22, 2026 14:29

srittau

#2309

ashishpatel26:fix/1458-never-noreturn-spec

Status Success

Total duration 18s

Artifacts –

ci.yml

on: pull_request