File tree Expand file tree Collapse file tree 1 file changed +13
-2
lines changed
Expand file tree Collapse file tree 1 file changed +13
-2
lines changed Original file line number Diff line number Diff line change 11name : Benchmark PR
22
33on :
4+ push :
45 pull_request :
5- branches : [main ]
6+ types : [synchronize, labeled ]
67 workflow_dispatch :
78env :
89 PYTHON_VERSION : " 3.10"
910 WORKING_DIR : ${{ github.workspace }}/benchmarks
1011 BENCHMARKS_OUTPUT : ${{ github.workspace }}/benchmarks_output
1112
13+ permissions :
14+ contents : read
15+
16+ # Cancels all previous workflow runs for pull requests that have not completed.
17+ concurrency :
18+ # The concurrency group contains the workflow name and the branch name for pull requests
19+ # or the commit hash for any other events.
20+ group : ${{ github.workflow }}-${{ github.event_name == 'pull_request' && github.head_ref || github.sha }}
21+ cancel-in-progress : true
22+
1223jobs :
1324 benchmark-pr :
1425 runs-on : ubuntu-latest
15- if : contains(github.event.pull_request.labels.*.name, 'run_benchmarks ') || github.event_name == 'workflow_dispatch' || github.event_name == 'workflow_run'
26+ if : ${{ contains(github.event.pull_request.labels.*.name, 'run-benchmarks ') || github.ref == 'refs/heads/main' }}
1627
1728 defaults :
1829 run :
You can’t perform that action at this time.
0 commit comments