mathcomp is failing in CI, eg https://gitlab.com/coq/coq/-/jobs/4265090732
cc @Enrico Tassi
Sure, master moved on MC 2.0, I'll move CI to branch
mathcomp-1 and propose a path to switch to mathcomp 2
I did schedule a slot at the next call, btw
is it more complicated than just adding elpi/hb as a dependency?
It should not, but:
Last updated: Nov 29 2023 at 20:01 UTC