Stream: coq-community devs & users

Topic: ATBR maintenance


view this post on Zulip Karl Palmskog (Dec 08 2020 at 12:21):

@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.

view this post on Zulip Tej Chajed (Dec 14 2020 at 17:44):

I've been working on a paper deadline so I was completely ignoring this. I fixed compatibility and migrated to Travis just now.

view this post on Zulip Tej Chajed (Dec 14 2020 at 17:45):

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.

view this post on Zulip Karl Palmskog (Dec 14 2020 at 18:39):

@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: Feb 05 2023 at 13:02 UTC