From 1a7305b60822d20713275dae6db19eb61704ff18 Mon Sep 17 00:00:00 2001
From: Sridhar Ratnakumar <3998+srid@users.noreply.github.com>
Date: Mon, 11 Nov 2024 11:07:16 -0500
Subject: [PATCH] Delete Jenkinsfile

We no longer use Jenkins.
---
 Jenkinsfile | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
deleted file mode 100644
index 8d09cbd..0000000
--- a/Jenkinsfile
+++ /dev/null
@@ -1,16 +0,0 @@
-pipeline {
-    agent { label 'nixos' }
-    stages {
-        stage ('Nix Build') {
-            steps {
-                nixCI()
-            }
-        }
-        stage ('Docker image') {
-            when { branch 'main' }
-            steps {
-                dockerPush "dockerImage", "ghcr.io"
-            }
-        }
-    }
-}