Skip to content

Add \exhaustive\ annotation to exhaustive match blocks#54

Merged
SeanTAllen merged 2 commits into
mainfrom
sean/add-exhaustive-match-annotation
Mar 1, 2026
Merged

Add \exhaustive\ annotation to exhaustive match blocks#54
SeanTAllen merged 2 commits into
mainfrom
sean/add-exhaustive-match-annotation

Fix docstring corruption from automated annotation

9fa2a38
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar