added github push property to jenkinsfile

EOSIO · Feb 4, 2017 · 6190917 · 6190917
1 parent b3f848b
commit 6190917
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,9 +1,11 @@
+#!groovy
 pipeline {
   agent any
 
   stages {
     stage('Build') {
       steps {
+        properties([pipelineTriggers([[$class: 'GitHubPushTrigger'], pollSCM('H/1 * * * *')])])
         checkout scm
         sh 'ciscripts/triggerbuild.sh'
       }