Skip to content

Add \exhaustive\ annotation to exhaustive match blocks #224

Add \exhaustive\ annotation to exhaustive match blocks

Add \exhaustive\ annotation to exhaustive match blocks #224

Triggered via push March 1, 2026 14:50
Status Success
Total duration 14s
Artifacts –
Update CHANGELOG.md
10s
Update CHANGELOG.md
Fit to window
Zoom out
Zoom in