Ali Caglayan (Dec 17 2021 at 21:05): 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
Gaëtan Gilbert (Dec 17 2021 at 21:12):that's just how the ci system works
it would need a redesign to fix
Gaëtan Gilbert (Dec 17 2021 at 21:12):you can edit makefile.ci to remove the dependency while working
Last updated: Jun 08 2023 at 04:01 UTC