Closed bladewang closed 3 years ago
Thank you !
You don't need to update the compiled version in src/toplevels
, a Github Action compile and commit when merge 👍
Thank you ! You don't need to update the compiled version in
src/toplevels
, a Github Action compile and commit when merge 👍
OK~ Thank you~~
remove ml_z_mul_overflows warnings, according to https://github.com/janestreet/zarith_stubs_js/pull/8