CI instability

Hi all, It appears that there is currently some CI instability arising from Docker registry changes made recently. I am investigating. Cheers, - Ben