search

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
717 stars 147 forks source link

Revert "Also install .wasm.map files" #1959

Closed JasonGross closed 2 months ago

JasonGross commented 2 months ago

Reverts mit-plv/fiat-crypto#1908

The build time of the WASM job somehow jumped from 14m to 2h with mit-plv/fiat-crypto#1908, though I don't see how. Investigating again.

JasonGross commented 2 months ago

Tracking at https://github.com/ocaml-wasm/wasm_of_ocaml/issues/81