Skip to content

Add \exhaustive\ annotation to exhaustive match blocks #117

Add \exhaustive\ annotation to exhaustive match blocks

Add \exhaustive\ annotation to exhaustive match blocks #117

Triggered via pull request March 1, 2026 16:13
@SeanTAllenSeanTAllen
closed #131
Status Success
Total duration 1m 4s
Artifacts

remove-discuss-during-sync.yml

on: pull_request_target
remove-label
6s
remove-label
Fit to window
Zoom out
Zoom in