ci: run codegen to a fixed point, with a bound, instead of once - #320
Closed
thedavidmeister wants to merge 2 commits into
Closed
ci: run codegen to a fixed point, with a bound, instead of once#320thedavidmeister wants to merge 2 commits into
thedavidmeister wants to merge 2 commits into
Commits
Commits on Aug 16, 2026
- authored andcommitted
- andcommitted
