Stream: Elpi users & devs

Topic: coq-elpi fails to build on mathcom-dev:coq-dev docker image

Christian Doczkal (Feb 07 2022 at 10:37):

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.

Enrico Tassi (Feb 10 2022 at 08:33):

Is it still the case? Could you give a log?

Kazuhiko Sakaguchi (Feb 10 2022 at 09:01):

@Enrico Tassi https://github.com/math-comp/algebra-tactics/runs/5134651170?check_suite_focus=true

Enrico Tassi (Feb 10 2022 at 09:16):

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