Enrico Tassi (Nov 27 2020 at 14:29): Enrico Tassi (Nov 27 2020 at 14:29):Who is in charge? Shall I just tag the commit I pinned? (apparently I have the rights)
Karl Palmskog (Nov 27 2020 at 14:31):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...
Théo Zimmermann (Nov 27 2020 at 14:32):Yes, you can push the 8.13 tag yourself.
Théo Zimmermann (Nov 27 2020 at 14:32):Well, we do have a CI that tests compatibility of external projects with Coq v8.13.
Enrico Tassi (Nov 27 2020 at 14:33):https://github.com/coq/coq/projects/43 See the column "platform" (I did already remove all closed issues)
Théo Zimmermann (Nov 27 2020 at 14:35):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.)
Enrico Tassi (Nov 27 2020 at 14:36):I will test current master baf2364 and see if it works, some interesting changes were pushed since my previous pin
Last updated: Dec 05 2023 at 06:01 UTC