Browse Source

Always push repo or make a PR, comment (#5063)

Raymond Xu 1 year ago
parent
commit
8b1d5f5a3b
1 changed files with 2 additions and 0 deletions
  1. 2 0
      .github/workflows/openhands-resolver.yml

+ 2 - 0
.github/workflows/openhands-resolver.yml

@@ -181,6 +181,7 @@ jobs:
           retention-days: 30 # Keep the artifact for 30 days
 
       - name: Create draft PR or push branch
+        if: always() # Create PR or branch even if the previous steps fail
         env:
           GITHUB_TOKEN: ${{ secrets.PAT_TOKEN }}
           GITHUB_USERNAME: ${{ secrets.PAT_USERNAME }}
@@ -204,6 +205,7 @@ jobs:
 
       - name: Comment on issue
         uses: actions/github-script@v7
+        if: always() # Comment on issue even if the previous steps fail
         with:
           github-token: ${{secrets.GITHUB_TOKEN}}
           script: |