add Jenkinsfile

Change-Id: I16caa7cd58b082fae77b9f9815613418247b4f55

add Jenkinsfile
d7468e90 · Adrien Béraud · efe27372 · d7468e90
Commit d7468e90 authored 1 year ago by Adrien Béraud
--- a/Jenkinsfile
+++ b/Jenkinsfile
+pipeline {
+    agent any
+
+    stages {
+        stage('Build') {
+            steps {
+                sh 'mkdir build && cd build && cmake .. && make'
+            }
+        }
+    }
+}