Stream: Coq devs & plugin devs

Topic: Release 8.13.1


view this post on Zulip Enrico Tassi (Feb 22 2021 at 10:01):

Can I get a quick handling of https://github.com/coq/coq/pull/13878 ? (refman job is already green)

view this post on Zulip Théo Zimmermann (Feb 22 2021 at 22:13):

FWIW I've uploaded the PDF manual to the release on GitHub.

view this post on Zulip Enrico Tassi (Feb 22 2021 at 22:19):

Thanks

view this post on Zulip Théo Zimmermann (Feb 22 2021 at 22:20):

(And switched the refman version. I mixed things up in the release checklist. PR incoming.)

view this post on Zulip Théo Zimmermann (Feb 22 2021 at 22:20):

(https://github.com/coq/coq/pull/13880)

view this post on Zulip Enrico Tassi (Feb 22 2021 at 22:23):

I think you should document how to switch version. Is it written somewhere?

view this post on Zulip Théo Zimmermann (Feb 22 2021 at 22:26):

Yes, it is specified in the release checklist. Unfortunately, you need access to the web server to do this.

view this post on Zulip Enrico Tassi (Feb 22 2021 at 22:48):

I see, we should find a way to automate this. Can't the version be dictated by coq/www somehow?


Last updated: Oct 21 2021 at 20:02 UTC