From 5b59b4af990972ea6a056344429c0bfd05fb327a Mon Sep 17 00:00:00 2001
From: Sridhar Ratnakumar <srid@srid.ca>
Date: Sun, 23 Jul 2023 10:00:06 -0400
Subject: [PATCH] Add Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..1e1e945
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,20 @@
+// We use https://github.com/juspay/jenkins-nix-ci
+
+pipeline {
+    agent any
+    stages {
+        stage ('Build') {
+            steps {
+                // https://github.com/srid/nixci
+                nixCI ()
+            }
+        }
+        /* stage ('Cachix push') {
+            when { branch 'master' }
+            steps {
+                cachixPush "srid"
+            }
+        }
+        */
+    }
+}