jenkins: match new build name & coverage target