Stream: Coq devs & plugin devs

Topic: looking for assignee

view this post on Zulip Gaëtan Gilbert (Dec 14 2022 at 09:08):

https://github.com/coq/coq/pull/16817
https://github.com/coq/coq/pull/16970

view this post on Zulip Gaëtan Gilbert (Apr 03 2023 at 09:26):

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

view this post on Zulip Gaëtan Gilbert (May 26 2023 at 11:08):

https://github.com/coq/coq/pull/17605
https://github.com/coq/coq/pull/17616
https://github.com/coq/coq/pull/17587
https://github.com/coq/coq/pull/17585

view this post on Zulip Gaëtan Gilbert (May 31 2023 at 10:10):

ping

view this post on Zulip Enrico Tassi (May 31 2023 at 11:04):

Sorry I'm super busy with CoqWS 2023, but next week I'll try to help more.

view this post on Zulip Gaëtan Gilbert (Jun 13 2023 at 12:20):

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

view this post on Zulip Gaëtan Gilbert (Jun 21 2023 at 10:27):

https://github.com/coq/coq/pull/17587 is not a complicated or controversial PR, anyone can assign

view this post on Zulip Karl Palmskog (Jul 13 2023 at 15:44):

would be really grateful for a full CI run here: https://github.com/coq/coq/pull/17851

view this post on Zulip Karl Palmskog (Jul 17 2023 at 14:39):

looking for assignee for a new small CI addition: https://github.com/coq/coq/pull/17851 - builds fine, should only add 20-30s to total CI time

view this post on Zulip Jason Gross (Jul 17 2023 at 16:16):

Merged!

view this post on Zulip Gaëtan Gilbert (Sep 21 2023 at 13:32):

https://github.com/coq/coq/pull/13071 (ltac2)

view this post on Zulip Gaëtan Gilbert (Oct 04 2023 at 14:14):

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

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

also https://github.com/coq/coq/pull/18110 is trivial

view this post on Zulip Gaëtan Gilbert (Nov 21 2023 at 15:06):

easy:

a bit complicated (test suite)
https://github.com/coq/coq/pull/18213

view this post on Zulip Emilio Jesús Gallego Arias (Dec 08 2023 at 14:23):

view this post on Zulip Gaëtan Gilbert (Dec 08 2023 at 15:06):

merged one, the other needs rebase

view this post on Zulip Emilio Jesús Gallego Arias (Dec 08 2023 at 15:26):

Thanks!

view this post on Zulip Gaëtan Gilbert (Mar 12 2024 at 15:48):

https://github.com/coq/coq/pull/18549 (easy)
https://github.com/coq/coq/pull/18299
https://github.com/coq/coq/pull/18536 (easy)
https://github.com/coq/coq/pull/18641
https://github.com/coq/coq/pull/18700
https://github.com/coq/coq/pull/18706
https://github.com/coq/coq/pull/18728 (easy)
https://github.com/coq/coq/pull/18747 (easy)

view this post on Zulip Gaëtan Gilbert (Mar 21 2024 at 15:52):

https://github.com/coq/coq/pull/18299 anyone?

view this post on Zulip Gaëtan Gilbert (Mar 28 2024 at 13:51):

ping

Last updated: Apr 19 2024 at 07:02 UTC