Fix duplicated trigger

This commit is contained in:
Gabriele C 2018-07-16 19:03:05 +02:00
parent 57b6715348
commit 91c4733038

4
Jenkinsfile vendored
View File

@ -11,10 +11,6 @@ pipeline {
timestamps()
}
triggers {
githubPush()
}
stages {
stage ('Checkout') {
steps {