Gaëtan Gilbert (Dec 14 2022 at 09:08): Gaëtan Gilbert (Dec 14 2022 at 09:08):https://github.com/coq/coq/pull/16817
https://github.com/coq/coq/pull/16970
Gaëtan Gilbert (Apr 03 2023 at 09:26):https://github.com/coq/coq/pull/17282
Gaëtan Gilbert (May 26 2023 at 11:08):https://github.com/coq/coq/pull/17605
https://github.com/coq/coq/pull/17616 (assigned)
https://github.com/coq/coq/pull/17587
https://github.com/coq/coq/pull/17585 (done)
Gaëtan Gilbert (May 31 2023 at 10:10):ping
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.
Gaëtan Gilbert (Jun 13 2023 at 12:20):https://github.com/coq/coq/pull/17587
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
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
edit: thanks Pierre!
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
Jason Gross (Jul 17 2023 at 16:16):Merged!
Gaëtan Gilbert (Sep 21 2023 at 13:32):https://github.com/coq/coq/pull/13071 (ltac2)
Gaëtan Gilbert (Oct 04 2023 at 14:14):https://github.com/coq/coq/pull/17503
Gaëtan Gilbert (Oct 04 2023 at 14:28):also https://github.com/coq/coq/pull/18110 is trivial
Gaëtan Gilbert (Nov 21 2023 at 15:06):easy:
a bit complicated (test suite)
https://github.com/coq/coq/pull/18213
Last updated: Dec 07 2023 at 06:38 UTC