Stream: Coq devs & plugin devs

Topic: build broken


view this post on Zulip Gaëtan Gilbert (Aug 04 2023 at 19:28):

looks like coq#17827 broke the build through interaction with some concurrently merged PR

view this post on Zulip Gaëtan Gilbert (Aug 04 2023 at 19:28):

cc @Hugo Herbelin

view this post on Zulip Gaëtan Gilbert (Aug 04 2023 at 19:57):

https://github.com/coq/coq/pull/17930


Last updated: Jun 17 2024 at 22:01 UTC