Skip to content

feat: sparse sparse casesOn splitting in match equations #21102

feat: sparse sparse casesOn splitting in match equations

feat: sparse sparse casesOn splitting in match equations #21102

Triggered via pull request December 14, 2025 11:43
Status Success
Total duration 9s
Artifacts

check-prelude.yml

on: pull_request
check-prelude
7s
check-prelude
Fit to window
Zoom out
Zoom in