Update Jenkins pipeline to run on new agents#84

samchesney merged 1 commit intoxmos:developxmos/lib_mic_array:developfrom

samchesney:feature/new-jenkins-agentssamchesney/lib_mic_array:feature/new-jenkins-agentsCopy head branch name to clipboard