diff --git a/Jenkinsfile b/Jenkinsfile index f4e1d99..4fbbca8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -87,8 +87,8 @@ pipeline { #!/bin/bash git add COMPLETED.md - git commit -m "[BOT] Update completed.md" - git push + git commit -m "[BOT] Update completed.md" || true + git push || true ''' } }