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: Jun 23 2024 at 01:02 UTC