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

[CI] [TEST] Pin lighter js_of_ocaml #1923

Closed JasonGross closed 2 months ago

JasonGross commented 5 months ago

opam pin add js_of_ocaml-compiler https://github.com/OlivierNicole/js_of_ocaml.git#optim_sourcemap_link cf https://github.com/ocsigen/js_of_ocaml/issues/1612#issuecomment-2158668664