File tree 1 file changed +13
-1
lines changed 1 file changed +13
-1
lines changed Original file line number Diff line number Diff line change @@ -12,7 +12,7 @@ permissions:
12
12
13
13
jobs :
14
14
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') }}
16
16
runs-on : ubuntu-latest
17
17
env :
18
18
UV_SYSTEM_PYTHON : 1
@@ -156,3 +156,15 @@ jobs:
156
156
run : |
157
157
echo "📊 Evaluation Results" >> $GITHUB_STEP_SUMMARY
158
158
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