diff options
author | Tom Willemse | 2020-10-09 23:57:28 -0700 |
---|---|---|
committer | Tom Willemse | 2020-10-09 23:57:28 -0700 |
commit | 34dc13695e5ac86d4c974b8d57bec296b54b0cbd (patch) | |
tree | d64ed7823999d00a5495b3ece08a06fd70337a0b | |
parent | f0a6ee309ae805adfd3986833835b14c31b0934e (diff) | |
download | new-ryuslash.org-34dc13695e5ac86d4c974b8d57bec296b54b0cbd.tar.gz new-ryuslash.org-34dc13695e5ac86d4c974b8d57bec296b54b0cbd.zip |
Don’t preserve stashes between runs, don’t use global agent
-rw-r--r-- | Jenkinsfile | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 5b0d02a..4d31891 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,9 +1,5 @@ pipeline { - agent any - - options { - preserveStashes() - } + agent none stages { stage('Build') { |