Some fixes & improvements to autogenerated flint .pxd #37193
+45
−17
Merged
Codecov / codecov/project
succeeded
Feb 4, 2024 in 0s
89.76% (+0.00%) compared to 0c390a0
View this Pull Request on Codecov
89.76% (+0.00%) compared to 0c390a0
Loading