chore: add jenkinsfile

2023-04-24 20:01:20 +02:00
parent 6854557831
commit 56b7434498
3 changed files with 67 additions and 0 deletions
--- a/39
+++ b/39
@ -0,0 +1,39 @@
+@Library('cadoles') _
+
+pipeline {
+    agent {
+        dockerfile {
+            label 'docker'
+            filename 'Dockerfile'
+            dir 'misc/jenkins'
+        }
+    }
+
+    stages {
+        stage('Cancel older jobs') {
+            steps {
+                script {
+                    def buildNumber = env.BUILD_NUMBER as int
+                    if (buildNumber > 1) milestone(buildNumber - 1)
+                    milestone(buildNumber)
+                }
+            }
+        }
+
+        stage('Run unit tests') {
+            steps {
+                script {
+                    sh '''
+                    make test
+                    '''
+                }
+            }
+        }
+    }
+
+    post {
+        always {
+            cleanWs()
+        }
+    }
+}