Skip to content

Outdated windows build agent labels

Some build jobs are referring to the windows agent label, which is not available anymore (e.g. here, but also in other Jenkinsfiles). They have to be updated to windows10.