diff options
| -rw-r--r-- | scripts/ci/Jenkinsfile.bleeding (renamed from scripts/ci/Jenkinsfile) | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/ci/Jenkinsfile b/scripts/ci/Jenkinsfile.bleeding index 803664f..6d0f1e7 100644 --- a/scripts/ci/Jenkinsfile +++ b/scripts/ci/Jenkinsfile.bleeding | |||
| @@ -1,3 +1,6 @@ | |||
| 1 | // This CI setup checks out aktualizr, meta-updater and updater-repo and builds | ||
| 2 | // master branches whenever a change is pushed to any of these | ||
| 3 | |||
| 1 | pipeline { | 4 | pipeline { |
| 2 | agent none | 5 | agent none |
| 3 | environment { | 6 | environment { |