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
that's just how the ci system works
it would need a redesign to fix
you can edit makefile.ci to remove the dependency while working
Last updated: Jun 08 2023 at 04:01 UTC