Skip to content

Add \exhaustive\ annotation to exhaustive match blocks #41

Add \exhaustive\ annotation to exhaustive match blocks

Add \exhaustive\ annotation to exhaustive match blocks #41

Triggered via pull request March 1, 2026 14:50
@SeanTAllenSeanTAllen
opened #75
Status Success
Total duration 18s
Artifacts –

add-discuss-during-sync.yml

on: pull_request_target
add-label
8s
add-label
Fit to window
Zoom out
Zoom in