Add separate action for pull requests and Jenkinsfile.

Author: tcornerstone

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()
+                }
+            }
+        }
+    }
+}