File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -15,6 +15,16 @@ permissions:
1515
1616on :
1717 workflow_dispatch :
18+ inputs :
19+ pr_number :
20+ description : " Pull request number to run validation tests against"
21+ required : true
22+ type : number
23+
24+ # Cancel in-progress runs for the same PR if a new manual run is started
25+ concurrency :
26+ group : ${{ github.workflow }}-${{ inputs.pr_number }}
27+ cancel-in-progress : true
1828
1929env :
2030 CARGO_TERM_COLOR : always
2333 validation_tests :
2434 runs-on : ubuntu-latest
2535 steps :
26- - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
36+ - name : Checkout PR merge ref
37+ uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
2738 with :
39+ ref : refs/pull/${{ inputs.pr_number }}/merge
2840 submodules : true
41+ fetch-depth : 0
2942 - uses : arduino/setup-protoc@c65c819552d16ad3c9b72d9dfd5ba5237b9c906b # v3.0.0
3043 with :
3144 repo-token : ${{ secrets.GITHUB_TOKEN }}
You can’t perform that action at this time.
0 commit comments