Skip to content

Make the build standard the default - #733

Merged
leynos merged 31 commits into
mainfrom
make-the-build-standard-the-default
Sep 21, 2026
Merged

Make the build standard the default#733
leynos merged 31 commits into
mainfrom
make-the-build-standard-the-default

Model the reachability closure as a backward walk

cb6d6d4
Select commit
Loading
Failed to load commit list.
Sourcery AI / Sourcery review skipped Sep 21, 2026 in 0s

⏭️ Skipped

Sorry @leynos, your pull request is larger than the review limit of 150,000 diff characters

View more details on Sourcery AI