[wip] Migration to new jenkins#1344
Conversation
The old windows setup must have been using a different shell somehow
Jenkins Console Log Machine informationDistributor ID: Ubuntu Description: Ubuntu 20.04.3 LTS Release: 20.04 Codename: focalCPU: G++: Clang: |
This is a WIP for migration to the new jenkins host.
It is also a target PR for testing build actions.
Do not merge (yet).