diff options
author | Laurent Bonnans <laurent.bonnans@here.com> | 2018-06-25 14:11:41 +0200 |
---|---|---|
committer | Laurent Bonnans <laurent.bonnans@here.com> | 2018-06-25 14:11:41 +0200 |
commit | e27183cfb12e56a6a81aa6fd5bb870ff2fe57fda (patch) | |
tree | ce91b295fa25a1719694c9960645d1a7d4549b7c /scripts | |
parent | 9278ad8c3322b9a3ec713ba86006e901bd824486 (diff) | |
download | meta-updater-e27183cfb12e56a6a81aa6fd5bb870ff2fe57fda.tar.gz |
Rename Jenkinsfile to Jenkinsfile.bleeding
+ small doc comment
Diffstat (limited to 'scripts')
-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 { |