Who is in charge? Shall I just tag the commit I pinned? (apparently I have the rights)
so you're already starting to tag stuff for the 8.13 Windows installer? We currently don't even have any effective way of testing 8.13 in CI...
Yes, you can push the 8.13 tag yourself.
Well, we do have a CI that tests compatibility of external projects with Coq v8.13.
https://github.com/coq/coq/projects/43 See the column "platform" (I did already remove all closed issues)
Did you know you can also "archive" cards instead of removing them from a project? (Same visual effect, but you can still look for them.)
I will test current master baf2364 and see if it works, some interesting changes were pushed since my previous pin
Last updated: Oct 15 2021 at 20:02 UTC