Skip to content

Add \exhaustive\ annotation to exhaustive match blocks #38

Add \exhaustive\ annotation to exhaustive match blocks

Add \exhaustive\ annotation to exhaustive match blocks #38

Triggered via pull request March 1, 2026 16:12
@SeanTAllenSeanTAllen
closed #75
Status Success
Total duration 10s
Artifacts –

remove-discuss-during-sync.yml

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