Add a CI job `opam-build:4.07.1:coq-native` (and `opam-build-no-timeout:4.07.1:coq-native`?)
erikmd opened this issue · comments
as suggested by @gares in #1496 (comment)
I believe this new GitLab CI job could just setup EXTRA_OPAM: "ocamlbuild coq-native", but it is not clear to me how the before_script should be updated (w.r.t. opam caching in particular).