diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 6ffbe14..69b246a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,4 @@ -@Library('utils@master') _ -//trivial edit // [skip ci] and [ci skip] have no effect here. if (utils.scm_checkout(['skip_disable':true])) return |