Merge pull request 'test jenkins' (#28) from dev into main

Reviewed-on: #28

Jenkinsfile

@@ -0,0 +1,11 @@
+pipeline {
+    agent any
+
+    stages {
+        stage('Do nothing') {
+            steps {
+                sh '/bin/true'
+            }
+        }
+    }
+}