This directory contains all of the scripts and pipelines for our CI in Jenkins.
All jobs are automatically updated using Jenkins Job Builder
- Copy
ci/jenkins/jenkins_jobs.ini.template
toci/jenkins/jenkins_jobs.ini
- Fill in with the needed values.
make test_jenkins_jobs
to test that the jobs are created correctly
will output xml to ci/jenkins/jobs
make update_jenkins_jobs
to update the jobs in jenkins
This directory contains all the pipelines used for GitHub Pull Request validation.
Scripts found under here are meant to be ran by Jenkins NOT users.
This script is for handling PR interactions between Jenkins and GitHub.
It uses the same config as Jenkins Job Builder to interact with Jenkins
The pipelines outside the prs directory are intended to perform regular operations for master branch or regular jobs not on GitHub PRs