Pin a Jenkins version.