adding git pull

To avoid failure when Jenkins and merging occur same time
arjbingly · Apr 24, 2024 · 329539e · 329539e
1 parent 19c0f0f
commit 329539e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
@@ -109,6 +109,7 @@ pipeline {
         fixed{
             sshagent(credentials: ['GithubKey']){
                 sh 'git checkout main'
+                sh 'git pull'
                 sh 'python3 ci/modify_test_status.py'
                 sh 'git add README.md'
                 sh 'git commit -m "test status updated"'
@@ -119,6 +120,7 @@ pipeline {
         regression{
             sshagent(credentials: ['GithubKey']){
                 sh 'git checkout main'
+                sh 'git pull'
                 sh 'python3 ci/modify_test_status.py --fail'
                 sh 'git add README.md'
                 sh 'git commit -m "test status updated"'