Looks like it was because the failed build I wanted to rerun failed parsing the Jenkinsfile (ie before running the
checkout scm) and didn't record an SCM revision. Using the rerun on a build with a revision recorded seems to work. Have subsequently found
this note in the official doc book. Pity because failure in this case could be due to declaring an
option without having installed the plugin that provides it (such as
timestamps).