yet the PR for 3376 (a Jenkinsfile change) seems to be humming along