"git-rts@gitlab.mpi-sws.org:abeln/iris.git" did not exist on "3e0931eade2ebbfca23a3884a42dec1d1093db52"
test with name mangling on CI
1 related merge request: !182 make sure std++ does not rely on generated names
7 jobs
15 minutes 30 seconds, queued for 2 seconds