Stream: Coq devs & plugin devs

Topic: GitLab 13.0


view this post on Zulip Théo Zimmermann (May 08 2020 at 10:24):

GitLab 13.0 is due on May 22nd. Should we worry about any of the announced breaking changes in relation to the preparation of the Coq 8.12 release? In particular, should we worry about the removal of cmd prompt support in Windows runners or is it fine since we have an old version of the runners installed on our Windows VMs?

view this post on Zulip Emilio Jesús Gallego Arias (May 09 2020 at 15:34):

That shouldn't be the end of the world as we already have a powershell setup for Azure; anyways current build setup is quite hard to maintain so maybe we can put some cycles in moving it to Azure; we are close to have a prototype of incremental package building for windows / jsCoq, but I'm afraid 8.12 is too soon for that to be workable :S [on the other hand we can just "survive" this release in some way [we could even build the packages in a trusted VM manually] and hope for a cleaner system for 8.13]


Last updated: Oct 15 2021 at 19:03 UTC