Merge pull request #975 from okartau/jenkinsfile-better-skip

Jenkinsfile: check for skipping 1.18 before spawning agent

Author: pohly

Jenkinsfile

@@ -201,7 +201,10 @@ pipeline {
                     }
                 }
                 stage('1.18') {
-                    when { not { changeRequest() } }
+                    when {
+		        beforeAgent true
+		        not { changeRequest() }
+                    }
                     options {
                         timeout(time: 12, unit: "HOURS")
                     }