From 87c8773322893f0d8f051b9b6a99d01413a70617 Mon Sep 17 00:00:00 2001
From: gprat <guylaine.prat@c-s.fr>
Date: Fri, 10 Jul 2020 13:21:12 +0200
Subject: [PATCH] Remove useless Jenkinsfile
---
Jenkinsfile | 50 --------------------------------------------------
1 file changed, 50 deletions(-)
delete mode 100644 Jenkinsfile
diff --git a/Jenkinsfile b/Jenkinsfile
deleted file mode 100644
index 69e40fdf..00000000
--- a/Jenkinsfile
+++ /dev/null
@@ -1,50 +0,0 @@
-pipeline {
-
- agent any
- tools {
- maven 'mvn-default'
- jdk 'openjdk-8'
- }
-
- options {
- timeout(time: 60, unit: 'MINUTES')
- }
-
- stages {
-
- stage('Cleaning') {
- steps {
- sh 'git clean -fdx'
- }
- }
-
- stage('Build') {
- steps {
- script {
- if ( env.BRANCH_NAME ==~ /^release-[.0-9]+$/ ) {
- sh 'mvn verify assembly:single'
- }
- else {
- sh 'mvn verify site'
- }
- }
- }
- }
- }
-
- post {
- always {
- archiveArtifacts artifacts: 'target/*.jar', fingerprint: true
- script {
- if ( env.BRANCH_NAME ==~ /^release-[.0-9]+$/ ) {
- archiveArtifacts artifacts: 'target/*.zip', fingerprint: true
- }
- }
- junit testResults: '**/target/surefire-reports/*.xml'
- jacoco execPattern:'target/**.exec', classPattern: '**/classes', sourcePattern: '**/src/main/java'
- recordIssues enabledForFailure: true, tools: [mavenConsole(), java(), javaDoc()]
- recordIssues enabledForFailure: true, tool: checkStyle()
- recordIssues enabledForFailure: true, tool: spotBugs()
- }
- }
-}
--
GitLab