Update Jenkinsfile

This commit is contained in:
Mihai Georgescu 2023-11-28 10:34:03 +02:00 committed by GitHub
parent 57f33c1dc9
commit 8d7ecdd549
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

1
Jenkinsfile vendored
View file

@ -4,6 +4,7 @@ pipeline {
stage('Checkstyle') { stage('Checkstyle') {
steps { steps {
sh 'export JAVA_HOME=/usr/lib/jvm/java-17-openjdk-amd64' sh 'export JAVA_HOME=/usr/lib/jvm/java-17-openjdk-amd64'
sh 'echo $JAVA_HOME'
sh 'mvn checkstyle:checkstyle' sh 'mvn checkstyle:checkstyle'
archiveArtifacts artifacts: 'checkstyle-result.html', onlyIfSuccessful: true archiveArtifacts artifacts: 'checkstyle-result.html', onlyIfSuccessful: true
} }