File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -308,7 +308,7 @@ jobs:
308308 github-token : ${{ secrets.GITHUB_TOKEN }}
309309 benchmark-data-dir-path : dev/bench/linux
310310 auto-push : ${{ github.event_name == 'push' }}
311- comment-always : true
311+ comment-always : ${{ github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository }}
312312 alert-threshold : ' 130%'
313313
314314 # ------------------------------------------------------------------
@@ -523,7 +523,7 @@ jobs:
523523 github-token : ${{ secrets.GITHUB_TOKEN }}
524524 benchmark-data-dir-path : dev/bench/windows
525525 auto-push : ${{ github.event_name == 'push' }}
526- comment-always : true
526+ comment-always : ${{ github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository }}
527527 alert-threshold : ' 130%'
528528
529529 benchmarks-passed :
@@ -541,7 +541,7 @@ jobs:
541541 failed=0
542542 for job in "${!results[@]}"; do
543543 r="${results[$job]}"
544- if [[ "$r" != "success" ]]; then
544+ if [[ "$r" != "success" && "$r" != "skipped" ]]; then
545545 echo "FAIL: $job = $r"
546546 failed=1
547547 fi
You can’t perform that action at this time.
0 commit comments