Azure Pipelines for Github allows build of plugin

[Richie (Richie Hindle)]

Thanks, Paul!

(Now I feel foolish for not just trying it - I just assumed that sudo wouldn’t be a thing in an Azure pipeline.)