The previous commit tried to change the Jenkinsfile to a declaractive, instead of scripted, pipeline, and this was missed.