Coverage badges use branch 8.0