From b49314044da70484b9ff992e40349ce72a10147d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jaros=C5=82aw=20Wieczorek?= <jarwie@st.amu.edu.pl>
Date: Mon, 7 Dec 2020 16:53:57 +0100
Subject: [PATCH] Add Jenkinsfile.

---
 Jenkinsfile | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index e69de29..a009577 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -0,0 +1,18 @@
+pipeline {
+  agent { docker { image 'python:3.9' } }
+  stages {
+    stage('build') {
+      steps {
+        sh 'pip install pipenv'
+	sh 'pipenv shell --python 3.9'
+	sh 'pipenv install'
+      }
+    }
+    stage('test') {
+      steps {
+        sh './run_tests.sh'
+      }   
+    }
+  }
+}
+JENKINSFILE