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: Dec 06 2023 at 14:01 UTC