Fix CI for renamed repo

This CI fixes the pipeline for the renamed repository.

added continuous-integration label

assigned to @duncanmmacleod

enabled an automatic merge when the pipeline for 5f716749 succeeds

mentioned in commit e1582919

merged