Skip to content

Cleanup the types corresponding to the JSON response#27

Merged
gpetiot merged 1 commit intotarides:mainfrom gpetiot:clean-ppx-jsonMar 19, 2024