Finally making headway with Jenkins, and also starting to get the hang of the Jenkinsfile pipeline syntax. I think our jobs are mostly simple enough that the conversion to them should be straightforward.