diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index a7b521484..1d07b8126 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -27,7 +27,7 @@ * * Only the war and zip artifacts are archived in the jenkins build archive. */ -LABEL = 'ubuntu' +LABEL = 'ubuntu && !H23' buildJdk = 'JDK 1.8 (latest)' buildJdk9 = 'JDK 1.9 (latest)' buildJdk10 = 'JDK 10 (latest)' |