@Tej Chajed do you want to keep maintaining the ATBR project in coq-community, or should we start to look for a new maintainer?
In particular, the project is in need of an update to GitHub Action based CI since Travis stopped providing services to open source projects.
I've been working on a paper deadline so I was completely ignoring this. I fixed compatibility and migrated to Travis just now.
I should probably step down as maintainer moving forward. I've been doing a lot of maintenance work for std++, Iris, and Perennial and this is going to be low priority given those are all needed for my research.
@Tej Chajed OK, I will set up an issue in the coq-community manifesto repo to look for a new maintainer. Unfortunately, this [finding an official maintainer] may take a while. In the meantime, note that the coq-community owners and other members may collaborate to update ATBR
Last updated: Jun 03 2023 at 18:01 UTC