"git-rts@gitlab.mpi-sws.org:adamAndMath/stdpp.git" did not exist on "5514ae41d1a613f6bc3847afd01be503649e611d"
Merge branch 'ci/ralf/coPset' into 'master'
For master
branch
5 jobs
8 minutes 35 seconds, queued for 3 seconds