diff --git a/tests/gadget-zero/Jenkinsfile b/tests/gadget-zero/Jenkinsfile index b59b6c37..70743d79 100644 --- a/tests/gadget-zero/Jenkinsfile +++ b/tests/gadget-zero/Jenkinsfile @@ -10,6 +10,7 @@ pipeline { // TODO - set build status to pneding.... stage('checkout') { steps { + sh "echo karl we are building $pr_from_sha" step([$class: 'GitHubSetCommitStatusBuilder']) checkout([$class: 'GitSCM', branches: [[name: $pr_from_sha]], userRemoteConfigs: [[url: $pr_from_git_url]]]) }