Skip to content
Lint the sources

[ WIP ] Use negative information during case tree simplification #776

Sign in to view logs

[ WIP ] Use negative information during case tree simplification

[ WIP ] Use negative information during case tree simplification #776

Triggered via push December 7, 2025 22:52
@spcfoxspcfox
pushed 3deb4b8
optimise-case-tree
Status Success
Total duration 7s
Artifacts –

ci-lint.yml

on: push
build
4s
build
Fit to window
Zoom out
Zoom in