Add Jenkinsfile

2023-07-23 10:00:06 -04:00 · 2023-07-23 10:00:06 -04:00 · 5b59b4af99
commit 5b59b4af99
parent da4511673e
1 changed files with 20 additions and 0 deletions
--- a/20
+++ b/20
@ -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"
+            }
+        }
+        */
+    }
+}