Cherry-pick CI changes from master
This MR cherry-picks some CI changes from !478 (merged) back onto testing
, mainly to keep the pipelines on the two branches well synchronised.
This MR cherry-picks some CI changes from !478 (merged) back onto testing
, mainly to keep the pipelines on the two branches well synchronised.