diff options
-rw-r--r-- | releng/org.eclipse.m2m.atl.releng.parent/jenkins/mmt-atl-pr/Jenkinsfile | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/releng/org.eclipse.m2m.atl.releng.parent/jenkins/mmt-atl-pr/Jenkinsfile b/releng/org.eclipse.m2m.atl.releng.parent/jenkins/mmt-atl-pr/Jenkinsfile deleted file mode 100644 index 4f731768..00000000 --- a/releng/org.eclipse.m2m.atl.releng.parent/jenkins/mmt-atl-pr/Jenkinsfile +++ /dev/null @@ -1,17 +0,0 @@ -pipeline { - agent any - tools { - maven 'apache-maven-latest' - jdk 'adoptopenjdk-hotspot-jdk8-latest' - } - stages { - stage('Build') { - steps { - sh ''' - java -version - mvn clean verify -P2019-06 -f releng/org.eclipse.m2m.atl.releng.parent/pom.xml - ''' - } - } - } -} |