From 83b5646e879fd83f8414b92a9a2578d19ab67d8e Mon Sep 17 00:00:00 2001
From: Sridhar Ratnakumar <srid@srid.ca>
Date: Fri, 19 Apr 2024 17:45:55 +1000
Subject: [PATCH] chore(ci): remove unused Jenkinsfile

---
 Jenkinsfile | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
deleted file mode 100644
index 1e1e9458..00000000
--- a/Jenkinsfile
+++ /dev/null
@@ -1,20 +0,0 @@
-// 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"
-            }
-        }
-        */
-    }
-}