Make synthesis limit tracking robust against function calls - #3344
Open
vicsn wants to merge 2 commits into
Open
CircleCI Checks / console-workflow
succeeded
Jul 30, 2026 in 12m 52s
Workflow: console-workflow
- console-algorithms - Success
- console-account - Success
- console-types-boolean - Success
- console-collections - Success
- console-types - Success
- console-types-address - Success
- console - Success
- console-program - Success
- console-types-integers - Success
- console-types-string - Success
- console-types-scalar - Success
- console-types-field - Success
- console-network-environment - Success
- console-network - Success
- console-types-group - Success
Loading