Skip to content

Add exhaustive switch vetting and enforce it across the tree#844

Merged
evanphx merged 10 commits into
mainfrom
mir-1202-add-exhaustive-switch-vetting
Jun 6, 2026
Merged

Add exhaustive switch vetting and enforce it across the tree#844
evanphx merged 10 commits into
mainfrom
mir-1202-add-exhaustive-switch-vetting

Commits

Commits on Jun 4, 2026

Commits on Jun 5, 2026

Commits on Jun 6, 2026