fiat-crypto icon indicating copy to clipboard operation
fiat-crypto copied to clipboard
verified publisher icon mit-plv

[CI] [TEST] Pin faster js_of_ocaml

Open JasonGross opened this issue 1 year ago • 0 comments

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

JasonGross avatar Jun 12 '24 03:06 JasonGross