Skip to content

Check pattern conformance in all MLcase branches (#6)#11

Merged
cedretaber merged 2 commits into
java_extractionfrom
feat/java-case-exhaustiveness
Jul 15, 2026
Merged

Check pattern conformance in all MLcase branches (#6)#11
cedretaber merged 2 commits into
java_extractionfrom
feat/java-case-exhaustiveness

Add match_default test covering catch-all branches

520059c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 warnings and 1 notice
macOS
succeeded Jul 8, 2026 in 15m 27s