JenkinsFile guide

https://www.jenkins.io/doc/book/pipeline/jenkinsfile/

Documentation for the Jenkinsfile format and how Jenkins interprets that file to execute jobs.