diff --git a/Jenkinsfile b/Jenkinsfile index 8a348ed..cd5b056 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,11 +1,11 @@ pipeline { agent none + /*options([pipelineTriggers([githubPush()])])*/ stages { stage('Checkout') { agent any - options([pipelineTriggers([githubPush()])]) steps { /* build delle SteamWare libs! */ /*build 'SteamWare/SteamWareLib'*/