As of Saturday, it appears that coq-elpi
no longer builds on the mathcomp/mathcomp-dev:coq-dev
docker image used for CI. Is this the right place to mention this? CC: @Enrico Tassi since this also breaks HB.
Is it still the case? Could you give a log?
@Enrico Tassi https://github.com/math-comp/algebra-tactics/runs/5134651170?check_suite_focus=true
Oh right, coq.dev and coq-elpi.dev ... I'll fix that, but I need to open a PR in coq to bump elpi...
Last updated: Oct 13 2024 at 01:02 UTC