From cb4b683f0802fa569360b4f7e9581e9b0cd31afb Mon Sep 17 00:00:00 2001
From: Sylvain Tricot <sylvain.tricot@univ-rennes.fr>
Date: Fri, 4 Jul 2025 22:01:26 +0200
Subject: [PATCH] Add Jenkins file

---
 Jenkinsfile | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..111aa27
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,19 @@
+pipeline {
+    agent {label 'msspec_agent_amd64'}
+    stages {
+        stage('Building documentation...') {
+            steps {
+		        sh 'ls -als'
+            }
+        }
+        stage('Syncing website...') {
+            steps {
+		    echo 'Syncing website only in main branch, not here in devel branch...'
+		    // sh 'rm -rf $HOME/www/*'
+            // sh 'cp -a ./doc/build/html/* $HOME/www/'
+            }
+        }
+
+    }
+}
+