Skip to content
Renumber standard TOC

Review and update pattern subsumption and exhaustion #3104

Sign in to view logs

Review and update pattern subsumption and exhaustion

Review and update pattern subsumption and exhaustion #3104

Triggered via pull request May 13, 2026 20:21
@BillWagnerBillWagner
synchronize #1691
BillWagner:subsumption-exhaustion
Status Success
Total duration 22s
Artifacts –

renumber-sections.yaml

on: pull_request
renumber-sections
18s
renumber-sections
Fit to window
Zoom out
Zoom in