diff options
| author | Nick <[email protected]> | 2019-09-13 08:53:12 -0400 |
|---|---|---|
| committer | Nick <[email protected]> | 2019-09-13 08:53:12 -0400 |
| commit | 2bf4de54c854a34f9e33ffcde57a258730c1a9cd (patch) | |
| tree | 044d13064d30ff83256b7d27c6aa4b7025f229a6 /Jenkinsfile | |
| parent | b35d8200f0d504abb1143d2279bf4a90465e9715 (diff) | |
fix remote repository problem
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 034efdb..f3a56ad 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,7 +10,6 @@ pipeline { stage('formatting-check') { steps { sh ''' - git remote rm upstream git remote add upstream https://github.com/purdue-aalp/gpgpu-sim_distribution git fetch upstream git diff --name-only upstream/dev | grep -E "*.cc|*.h|*.cpp|*.hpp" | xargs ./run-clang-format.py --clang-format-executable /home/tgrogers-raid/a/green349/clang-format @@ -103,6 +102,7 @@ pipeline { } post { success { + sh 'git remote rm upstream' emailext body:'''${SCRIPT, template="groovy-html.success.template"}''', recipientProviders: [[$class: 'CulpritsRecipientProvider'], [$class: 'RequesterRecipientProvider']], @@ -111,6 +111,7 @@ pipeline { to: '[email protected]' } failure { + sh 'git remote rm upstream' emailext body: "See ${BUILD_URL}", recipientProviders: [[$class: 'CulpritsRecipientProvider'], [$class: 'RequesterRecipientProvider']], |