Do not hog an executor when it's not necessary

d0ff650a · Jason Swails · ca3b526c · d0ff650a
Commit d0ff650a authored Aug 29, 2019 by Jason Swails
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

devtools/Jenkinsfile devtools/Jenkinsfile +1 -1

No files found.
--- a/devtools/Jenkinsfile
+++ b/devtools/Jenkinsfile
 pipeline {
-    agent any
+    agent none

    stages {
        stage("Build and test") {