Skip to content

fix(checker): file-qualified diagnostics, autoload span identities and preludes, checker cost - #1921

Merged
nahime0 merged 8 commits into
illegalstudio:mainfrom
JGamboa:fix/checker-driver-cost-and-diagnostics
Oct 24, 2026
Merged

fix(checker): file-qualified diagnostics, autoload span identities and preludes, checker cost#1921
nahime0 merged 8 commits into
illegalstudio:mainfrom
JGamboa:fix/checker-driver-cost-and-diagnostics

chore: merge main into pr-1921

0c4d994
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Classify pull requests
succeeded Oct 24, 2026 in 10s