[CI] [Debian] use -j1 on js-of-ocaml

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat

Other

717 stars 147 forks source link

Closed JasonGross closed 3 months ago

JasonGross commented 3 months ago

Maybe this will fix the CI

JasonGross commented 3 months ago

Seems to help, but is not sufficient