File tree Expand file tree Collapse file tree 2 files changed +11
-4
lines changed Expand file tree Collapse file tree 2 files changed +11
-4
lines changed Original file line number Diff line number Diff line change @@ -52,14 +52,22 @@ jobs:
5252 run : julia -e "
5353 using BenchmarkCI, PkgBenchmark;
5454 jd=BenchmarkCI.judge(baseline=\"origin/${GITHUB_BASE_REF}\");
55- writeresults(\"targetbenchout.json\", jd.target_results);
56- writeresults(\"baselinebenchout.json\", jd.baseline_results);
5755 "
5856 - name: Post results if pull request
5957 if: github.event_name == 'pull_request'
6058 run: julia -e 'using BenchmarkCI; BenchmarkCI.postjudge()'
6159 env:
6260 GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
61+ - name: Add comment
62+ if: github.event_name == 'pull_request'
63+ run: gh pr comment " $NUMBER" --body "$BODY"
64+ env :
65+ GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
66+ GH_REPO : ${{ github.repository }}
67+ NUMBER : ${{ github.event.pull_request.number }}
68+ BODY : >
69+ This pr comment is testing.
70+ **This should be bold**
6371 - name : Run benchmark if push/merge
6472 if : github.event_name == 'push'
6573 run : julia --project=benchmark -e "
Original file line number Diff line number Diff line change 1- using BenchmarkTools
2- using Graphs
1+ using BenchmarkTools, Graphs
32
43const BENCHDIR = dirname (@__FILE__ )
54
You can’t perform that action at this time.
0 commit comments