Skip to content

ci: run codegen to a fixed point, with a bound, instead of once - #319

Open
thedavidmeister wants to merge 4 commits into
mainfrom
2026-08-16-issue-81
Open

ci: run codegen to a fixed point, with a bound, instead of once#319
thedavidmeister wants to merge 4 commits into
mainfrom
2026-08-16-issue-81

test: a pass that only deletes a file is a change

3dfac9d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar