diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile deleted file mode 100644 index 59e00e3..0000000 --- a/jenkins/Jenkinsfile +++ /dev/null @@ -1,15 +0,0 @@ -pipeline { - agent none - stages { - stage('Build') { - agent { - docker { - image 'python:2-alpine' - } - } - steps { - sh 'python -m py_compile sources/add2vals.py sources/calc.py' - } - } - } -} \ No newline at end of file