From 67e95393536136f0a13b737ede1c786e5c19dd86 Mon Sep 17 00:00:00 2001
From: Sridhar Ratnakumar <srid@srid.ca>
Date: Thu, 13 Jul 2023 16:47:27 -0400
Subject: [PATCH] add Jenkins CI

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

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..f7920b3
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,11 @@
+pipeline {
+    agent any
+    stages {
+        stage ('Build') {
+            steps {
+                // https://github.com/srid/nixci
+                nixCI ()
+            }
+        }
+    }
+}