diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index b7606da..2bfca6e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,3 +1,5 @@ +import utils.edu.stsci.jscu + // [skip ci] and [ci skip] have no effect here. if (utils.scm_checkout(['skip_disable':true])) return |