Sorry I'm super busy with CoqWS 2023, but next week I'll try to help more.
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
also https://github.com/coq/coq/pull/18110 is trivial
a bit complicated (test suite)
Last updated: Dec 07 2023 at 06:38 UTC