[Holger Levsen] > you're aware of https://jenkins.debian.net/view/edu_devel/ ? Of course. How come? Do you mean we should drop the autopkgtest check and only use the jenkins test? It would work, of course, but they have slightly different purposes I am in doubt myself if it make sense to have both tests, but in general believe more quality checks are better. :) -- Happy hacking Petter Reinholdtsen