jenkinsspecs