Stream: Elpi users & devs

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


view this post on Zulip 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.

view this post on Zulip Enrico Tassi (Feb 10 2022 at 08:33):

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

view this post on Zulip Kazuhiko Sakaguchi (Feb 10 2022 at 09:01):

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

view this post on Zulip 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: Feb 05 2023 at 15:03 UTC