Check that we are compatible with bytecode-only environments - Githubissues

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

131 stars 33 forks source link

Check that we are compatible with bytecode-only environments #1066

Closed bclement-ocp closed 1 month ago

bclement-ocp commented 6 months ago

I think #1049 fixed the issue, but we should double-check.

See https://github.com/ocaml/opam-repository/pull/25294