/jenkins-pipelines

Pipelines for building ROOT on pipeline jobs in Jenkins

Primary LanguageGroovy

Watchers