File tree Expand file tree Collapse file tree 1 file changed +13
-1
lines changed Expand file tree Collapse file tree 1 file changed +13
-1
lines changed Original file line number Diff line number Diff line change @@ -12,7 +12,7 @@ permissions:
1212
1313jobs :
1414 evaluate :
15- if : ${{ github.event.issue.pull_request && contains(github.event.comment.body, '#evaluate')
15+ if : ${{ github.event.issue.pull_request && contains(github.event.comment.body, '#evaluate') }}
1616 runs-on : ubuntu-latest
1717 env :
1818 UV_SYSTEM_PYTHON : 1
@@ -156,3 +156,15 @@ jobs:
156156 run : |
157157 echo "📊 Evaluation Results" >> $GITHUB_STEP_SUMMARY
158158 python -m evaltools summary evals/results --output=markdown >> $GITHUB_STEP_SUMMARY
159+
160+ - name : Comment on pull request
161+ uses : actions/github-script@v7
162+ with :
163+ script : |
164+ const { GITHUB_STEP_SUMMARY } = process.env;
165+ github.rest.issues.createComment({
166+ issue_number: context.issue.number,
167+ owner: context.repo.owner,
168+ repo: context.repo.repo,
169+ body: GITHUB_STEP_SUMMARY
170+ })
You can’t perform that action at this time.
0 commit comments