From 0a2706ae58c7a4a946ecf080fdbea98b351948f5 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Mon, 17 Apr 2023 17:23:31 +0200
Subject: [PATCH] Add 'Jenkinsfile'

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

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..cd3fc9f
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,13 @@
+pipeline {
+  agent any
+  options {
+    skipDefaultCheckout true
+  }
+  stages {
+      stage('invoke remote clone') {
+          steps {
+              build job: 'JanetModels', wait: false
+          }
+      }
+  }
+}
\ No newline at end of file