ci: update to latest CI scripts

.github/workflows/develop-build.yml

@@ -43,5 +43,5 @@ jobs:
           draft: false
           prerelease: true
           files: |
-            **/target/*.war
+            **/target/*.jar
             install/*

.github/workflows/release-build.yml

@@ -1,9 +1,4 @@
-name: Publish Development Build
-
-permissions:
-  contents: write
-
-name: Publish Development Build
+name: Publish Release Build
 
 permissions:
   contents: write
@@ -41,5 +36,5 @@ jobs:
           draft: false
           prerelease: false
           files: |
-            **/target/*.war
+            **/target/*.jar
             install/*

Jenkinsfile

@@ -21,7 +21,6 @@ pipeline {
         sh 'git reset --hard HEAD && git clean -fdx'
       }
     }
-
     stage('build-snapshot') {
       when {
         not {
@@ -72,7 +71,6 @@ pipeline {
         }
       }
     }
-
     stage('deploy-libs') {
       when {
         anyOf {
@@ -89,6 +87,27 @@ pipeline {
         }
       }
     }
+    stage('tag release') {
+      when { branch 'master' }
+      steps {
+        withCredentials([gitUsernamePassword(credentialsId: '93f7e7d3-8f74-4744-a785-518fc4d55314',
+                 gitToolName: 'git-tool')]) {
+          sh '''#!/bin/bash -xe
+              projectversion=$(mvn org.apache.maven.plugins:maven-help-plugin:3.4.0:evaluate -Dexpression=project.version -q -DforceStdout)
+              if [ $? != 0 ]
+              then 
+                  exit 1
+              elif [[ "${projectversion}" =~ "SNAPSHOT" ]]
+              then
+                  echo "This is a SNAPSHOT version"
+                  exit 1
+              fi
+              echo "${projectversion}"
+              git tag -a "v${projectversion}" -m "releasing v${projectversion}" && git push origin v"${projectversion}"
+          '''
+        }
+      }
+    }
   }
 
   post {