File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -28,10 +28,13 @@ jobs:
2828 github.event_name == 'push' ||
2929 (
3030 github.event_name == 'pull_request' &&
31- contains(github.event.pull_request.labels.*.name, 'pr: run ci')
31+ (
32+ contains(github.event.pull_request.labels.*.name, 'pr: run ci') ||
33+ github.event.action == 'labeled'
34+ )
3235 ) ||
3336 github.event_name == 'workflow_dispatch' ||
34- startsWith(github.ref, 'refs/tags/')
37+ startsWith(github.ref, 'refs/tags/v ')
3538
3639 runs-on : ${{ matrix.os }}
3740
4144 matrix :
4245 os : ${{ fromJSON(
4346 github.event_name == 'pull_request' ||
44- (github.event_name == 'push' && !startsWith(github.ref, 'refs/tags/')) ?
45- ' ["ubuntu-22.04","windows-2022"]' :
46- ' ["ubuntu-22.04","windows-2022","macos-14"]'
47+ (github.event_name == 'push' && !startsWith(github.ref, 'refs/tags/v')) ||
48+ (github.event_name == 'workflow_dispatch' && inputs.full_build != 'true')
49+ ? '["ubuntu-22.04","windows-2022"]'
50+ : '["ubuntu-22.04","windows-2022","macos-14"]'
4751 ) }}
4852
4953 sofa_branch : [master]
You can’t perform that action at this time.
0 commit comments