Skip to content

feat: sparse sparse casesOn splitting in match equations #21100

feat: sparse sparse casesOn splitting in match equations

feat: sparse sparse casesOn splitting in match equations #21100

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

check-prelude.yml

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