Théo Zimmermann (May 08 2020 at 10:24): 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?
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: Dec 05 2023 at 12:01 UTC