Stream: coq-community devs & users

Topic: Coq-contribs


view this post on Zulip Coq Contribs Bot (Nov 19 2021 at 17:51):

GitHub webhook has been successfully configured by Zimmi48.

view this post on Zulip Coq Contribs Bot (May 17 2022 at 12:40):

ppedrot opened PR #1 Port to 8.15 from port-8.15 to master:

This is a cleanup that makes this contribution compile with 8.15.

view this post on Zulip Théo Zimmermann (May 17 2022 at 12:56):

First time this webhook is triggered :surprise:

view this post on Zulip Karl Palmskog (May 17 2022 at 13:06):

I think the huge army of coq-contrib contributors-to-be were just waiting for this moment (for someone to open a new PR before they do)

view this post on Zulip Karl Palmskog (May 17 2022 at 15:56):

Looks like we are left in a bit of a dilemma here what will happen to these changes:

I volunteered for this patch and stepped down immediately...

view this post on Zulip Théo Zimmermann (May 17 2022 at 16:08):

The project should stay in coq-contribs then. We could ask Hugo to look at the PR or Pierre-Marie could just merge the PR himself since he has the rights to do so.

view this post on Zulip Karl Palmskog (May 17 2022 at 16:10):

yes, if you don't mind I will ask him to merge

view this post on Zulip Coq Contribs Bot (May 17 2022 at 16:46):

ppedrot merged PR #1 Port to 8.15.

view this post on Zulip Coq Contribs Bot (Dec 11 2022 at 00:45):

brando90 opened issue #5 for what coq versions does this work?


Last updated: Feb 05 2023 at 14:02 UTC