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?
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