Stream: Coq devs & plugin devs

Topic: bignum


view this post on Zulip 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)

view this post on Zulip 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...

view this post on Zulip Théo Zimmermann (Nov 27 2020 at 14:32):

Yes, you can push the 8.13 tag yourself.

view this post on Zulip 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.

view this post on Zulip 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)

view this post on Zulip 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.)

view this post on Zulip 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: Oct 15 2021 at 20:02 UTC