Skip to content

Improve exhaustivity/reachability checking for sub-cases #14644

Improve exhaustivity/reachability checking for sub-cases

Improve exhaustivity/reachability checking for sub-cases #14644

Triggered via pull request April 3, 2026 20:01
Status Success
Total duration 1m 48s
Artifacts

spec.yml

on: pull_request
Fit to window
Zoom out
Zoom in