Is there a way to easily reproduce (in advance) what will happen on opam-coq-archive CI when creating a PR? In order to test packages in the exact same environment.
I think this GitLab CI definition comes closest: https://github.com/coq/opam-coq-archive/blob/master/.gitlab-ci.yml
But I've always managed to recreate the builds with local opam switches. For example, if you target the
extra-dev repo, you need to add the
core-dev repo and then the
extra-dev repo before installing the package. Preferably start from an empty opam switch with OCaml 4.09 or similar.
Thanks! I always test on local opam switch but got problems on my last PRs due to a different environment, which is why I am asking.
Last updated: Nov 29 2023 at 21:01 UTC