root-project/jenkins-pipelines

Pipelines for building ROOT on pipeline jobs in Jenkins

Groovy