Attempt to enable use of more than one agent

Primarily so that we could use shellcheck in the future on top of PHPStan.
2023-11-15 10:57:20 +01:00 · 2023-11-15 10:57:20 +01:00 · 7b29422730
parent af94efde45
commit 7b29422730
1 changed files with 6 additions and 5 deletions
--- a/.Jenkinsfile
+++ b/.Jenkinsfile
@ -1,11 +1,12 @@
 pipeline {
-    agent {
-        docker {
-            image 'php:8.2-cli'
-        }
-    }
+    agent none
    stages {
        stage('PHPStan (static analysis)') {
+	    agent {
+		docker {
+		    image 'php:8.2-cli'
+		}
+	    }
            steps {
                script {
                    sh 'curl -fsSL https://github.com/phpstan/phpstan/releases/download/1.10.41/phpstan.phar -o phpstan.phar'