diff --git a/bin/maintenance.sh b/bin/maintenance.sh index d7999181f59fcefc672818af81847e64c8733f83..eddeb2a3ba79964c8fb0fe67aea7334a04b5de56 100755 --- a/bin/maintenance.sh +++ b/bin/maintenance.sh @@ -173,20 +173,19 @@ build_jenkins_job_health_page() { FILTER[11]="chroot-installation_bullseye" FILTER[12]="chroot-installation_buster" FILTER[13]="chroot-installation_stretch" - FILTER[14]="chroot-installation_jessie" - FILTER[15]="d-i_overview" - FILTER[16]="d-i_manual" - FILTER[17]="d-i_build" - FILTER[18]="d-i_schroot" - FILTER[19]="d-i_:(overview|manual|build|schroot)" - FILTER[20]="rebootstrap" - FILTER[21]="g-i-installation_debian_jessie:(presentation|rescue)" - FILTER[22]="g-i-installation_debian_sid:(presentation|rescue)" - FILTER[23]="g-i-installation_.*presentation" - FILTER[24]="g-i-installation_.*rescue" - FILTER[25]="g-i-installation_debian-edu_stretch" - FILTER[26]="g-i-installation_.*hurd" - FILTER[27]="debian-archive-keyring" + FILTER[14]="d-i_overview" + FILTER[15]="d-i_manual" + FILTER[16]="d-i_build" + FILTER[17]="d-i_schroot" + FILTER[18]="d-i_:(overview|manual|build|schroot)" + FILTER[19]="rebootstrap" + FILTER[20]="g-i-installation_debian_jessie:(presentation|rescue)" + FILTER[21]="g-i-installation_debian_sid:(presentation|rescue)" + FILTER[22]="g-i-installation_.*presentation" + FILTER[23]="g-i-installation_.*rescue" + FILTER[24]="g-i-installation_debian-edu_stretch" + FILTER[25]="g-i-installation_.*hurd" + FILTER[26]="debian-archive-keyring" numfilters=${#FILTER[@]} let numfilters-=1 # that's what you get when you start counting from 0 write_page ""