Coq Contribs Bot (Nov 19 2021 at 17:51): Coq Contribs Bot (Nov 19 2021 at 17:51):GitHub webhook has been successfully configured by Zimmi48.
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.
Théo Zimmermann (May 17 2022 at 12:56):First time this webhook is triggered :surprise:
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)
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...
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.
Karl Palmskog (May 17 2022 at 16:10):yes, if you don't mind I will ask him to merge
Coq Contribs Bot (May 17 2022 at 16:46):ppedrot merged PR #1 Port to 8.15.
Coq Contribs Bot (Dec 11 2022 at 00:45):brando90 opened issue #5 for what coq versions does this work?
Coq Contribs Bot (Feb 09 2023 at 16:04):clayrat opened PR #1 Update to Coq 8.16 and reorganize from v8.16 to master:
Replaces deprecated lemmas and fixes the build
Coq Contribs Bot (Feb 09 2023 at 16:54):clayrat updated PR #1 Update to Coq 8.16 and reorganize from v8.16 to master.
Coq Contribs Bot (Feb 10 2023 at 15:44):clayrat updated PR #1 Update to Coq 8.16 and reorganize from v8.16 to master.
Coq Contribs Bot (Feb 10 2023 at 15:48):clayrat updated PR #1 Update to Coq 8.16 and reorganize from v8.16 to master.
Coq Contribs Bot (Feb 10 2023 at 16:28):palmskog merged PR #1 Update to Coq 8.16 and reorganize.
Last updated: Jun 06 2023 at 22:01 UTC