diff --git a/web/Jenkinsfile b/web/Jenkinsfile deleted file mode 100644 index 560dc4a..0000000 --- a/web/Jenkinsfile +++ /dev/null @@ -1,15 +0,0 @@ -pipeline { - agent any - stages { - stage('Pull') { - when { - branch 'main' - } - steps { - sh '''cd /var/www/tinylifegame - git fetch - git checkout ${GIT_COMMIT} -f''' - } - } - } -} \ No newline at end of file