I have been part of the build maintainer team since the move to Dune to help Emilio, but now that new people have joined in and expertise has been shared, I'm removing myself from this team to reflect the fact that I have too little time available and rarely participate in reviewing these PRs anymore anyway.
Thanks for you work on this aspect of Coq!
Last updated: Oct 13 2024 at 01:02 UTC