diff --git a/Jenkinsfile b/Jenkinsfile deleted file mode 100644 index 5115bda..0000000 --- a/Jenkinsfile +++ /dev/null @@ -1,12 +0,0 @@ -// We use https://github.com/juspay/jenkins-nix-ci - -pipeline { - agent { label 'nixos' } - stages { - stage ('Build') { - steps { - nixCI () - } - } - } -}