Closed Xophmeister closed 5 months ago
Cherry-picked from #705, to separate concerns.
Checklist before merging:
Update WASM generation script
Description
Cherry-picked from #705, to separate concerns.
Checklist
Checklist before merging: