diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 0000000..91c2f9c --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1,33 @@ +pipeline { + options { + timeout(time: 15, unit: 'MINUTES') + buildDiscarder(logRotator(numToKeepStr:'5')) + disableConcurrentBuilds(abortPrevious: true) + } + agent any + tools { + maven 'apache-maven-latest' + jdk 'temurin-jdk17-latest' + } + stages { + stage('Build') { + steps { + sh """ + set -xe + mvn clean verify -DunofficialSuffix= + ! test -r ./p2 + mv com.wamas.ide.launching.update/target/repository p2 + test -r ./p2/. + """ + } + post { + success { + archiveArtifacts artifacts: 'p2/' + } + always { + recordIssues tool: mavenConsole() + } + } + } + } +}