i.e. revert https://gitlab.tails.boum.org/tails/jenkins-jobs/-/commit/a80701d864331a39a4841f21770806d6de21873b