Remove duplicated trigger, again

This commit is contained in:
Gabriele C 2018-07-18 13:16:29 +02:00
parent 543568012b
commit 0ab77b45a6

4
Jenkinsfile vendored
View File

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