alt-ergo
alt-ergo copied to clipboard
Check that we are compatible with bytecode-only environments
I think #1049 fixed the issue, but we should double-check.
See https://github.com/ocaml/opam-repository/pull/25294