|
58 | 58 | |
59 | 59 | - name: Checkout pull request |
60 | 60 | uses: actions/checkout@v4 |
61 | | - with: |
62 | | - ref: refs/pull/${{ github.event.issue.number }}/head |
| 61 | + |
| 62 | + - name: Checkout Pull Request |
| 63 | + run: hub pr checkout ${{ github.event.issue.number }} |
| 64 | + env: |
| 65 | + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |
63 | 66 |
|
64 | 67 | - name: Install pgvector |
65 | 68 | run: | |
@@ -193,25 +196,11 @@ jobs: |
193 | 196 | body: `${summary}\n\n[Check the workflow run for more details](${actionsUrl}).` |
194 | 197 | }) |
195 | 198 | |
196 | | - - name: Get PR branch name |
197 | | - id: get_pr_branch |
198 | | - uses: actions/github-script@v7 |
199 | | - with: |
200 | | - script: | |
201 | | - const prNumber = context.issue.number; |
202 | | - const { data: pr } = await github.pulls.get({ |
203 | | - owner: context.repo.owner, |
204 | | - repo: context.repo.repo, |
205 | | - pull_number: prNumber |
206 | | - }); |
207 | | - return { branch: pr.head.ref }; |
208 | | - |
209 | 199 | - name: Commit and push eval results |
210 | 200 | if: ${{ success() }} |
211 | 201 | run: | |
212 | 202 | git config --global user.name "github-actions[bot]" |
213 | 203 | git config --global user.email "github-actions[bot]@users.noreply.github.com" |
214 | | - git checkout -b temp-branch |
215 | 204 | git add evals/results/pr${{ github.event.issue.number }} |
216 | 205 | git commit -m "Add evaluation results for PR #${{ github.event.issue.number }}" |
217 | | - git push origin temp-branch:${{ steps.get_pr_branch.outputs.branch }} |
| 206 | + git push |
0 commit comments