Non-core Jenkinsfiles: allow for manual rebuilds
3 files changed