[ci] Small improvements for run-jenkins and collect-coverage. (#5669)