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

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

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

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)

ping

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

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

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

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

edit: thanks Pierre!

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

Merged!

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

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

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

easy:

- https://github.com/coq/coq/pull/18310
- https://github.com/coq/coq/pull/18271
- https://github.com/coq/coq/pull/18264
- https://github.com/coq/coq/pull/18249

a bit complicated (test suite)

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

Last updated: Dec 07 2023 at 06:38 UTC