You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
* [ci] Add 32bit 5.2.0 job
Caveats:
- The OCaml switch in this case byte-only, so things are slow, as jsoo
itself won't have a native mode
- JS ppx libs 0.17 don't really support 32bit builds, this will likely
become a problem in the future (if not now actually, for example
`ppx_inline_test.0.17.0` fails to build)
- jsCoq/coq-lsp works in this setup, which is IMO a great "data point"
as to whether this setup is OK
---------
Co-authored-by: Hugo Heuzard <[email protected]>
0 commit comments