Remove GetOptionsDiagnostics, global diags in editor, restore checker affinity#3285
Merged
jakebailey merged 24 commits intomainfrom Mar 31, 2026
Merged
Remove GetOptionsDiagnostics, global diags in editor, restore checker affinity#3285jakebailey merged 24 commits intomainfrom
jakebailey merged 24 commits intomainfrom
Commits
Commits on Dec 10, 2025
- committed
- committed
- committed
- committed
- committed
Commits on Feb 5, 2026
Commits on Feb 15, 2026
Commits on Mar 5, 2026
Commits on Mar 28, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 30, 2026
- committed