Stream: Coq devs & plugin devs

Topic: Reproduce opam-coq-archive CI


view this post on Zulip Chantal Keller (Jun 19 2023 at 15:54):

Hi
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.
Thanks!

view this post on Zulip Karl Palmskog (Jun 19 2023 at 15:56):

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.

view this post on Zulip Chantal Keller (Jun 19 2023 at 15:58):

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: Jun 22 2024 at 23:01 UTC