Stream: Coq devs & plugin devs

Topic: CI rerunning install step


view this post on Zulip Ali Caglayan (Dec 17 2021 at 21:05):

When building ci-category_theory for instance, every time I incrementally make the install step of ci-equations is done. Why is this and can it be fixed? cc @Gaëtan Gilbert

view this post on Zulip Gaëtan Gilbert (Dec 17 2021 at 21:12):

that's just how the ci system works
it would need a redesign to fix

view this post on Zulip Gaëtan Gilbert (Dec 17 2021 at 21:12):

you can edit makefile.ci to remove the dependency while working


Last updated: Feb 06 2023 at 00:03 UTC