1414name : CI and merge queue checks
1515on :
1616 pull_request :
17- types : [opened, reopened, synchronize]
17+ types : [opened, reopened, synchronize, labeled, unlabeled ]
1818 merge_group :
1919 types : [checks_requested]
2020 workflow_call :
@@ -29,27 +29,29 @@ jobs:
2929 build_and_test_cross_compilation :
3030 secrets : inherit
3131 uses : ./.github/workflows/build_and_test_cross_compilation.yml
32- # check if PR can be enqueued to the merge queue
33- can_enqueue :
34- if : always() && github.event_name != 'merge_group'
35- needs :
36- - pre-commit
37- - build_and_test_host
38- permissions :
39- actions : read
40- runs-on : ubuntu-latest
41- steps :
42- - env :
43- NEEDS_JSON : " ${{toJSON(needs)}}"
44- name : Transform outcomes
45- run : |
46- echo "ALL_SUCCESS=$(echo "$NEEDS_JSON" | jq '. | to_entries | map([.value.result == "success", .value.result == "skipped"] | any) | all')" >>$GITHUB_ENV
47- - name : check
48- run : |
49- [ $ALL_SUCCESS == true ]
32+ # # check if PR can be enqueued to the merge queue
33+ # can_enqueue:
34+ # if: always() && github.event_name != 'merge_group'
35+ # needs:
36+ # - pre-commit
37+ # - build_and_test_host
38+ # - build_and_test_cross_compilation
39+ # permissions:
40+ # actions: read
41+ # runs-on: ubuntu-latest
42+ # steps:
43+ # - env:
44+ # NEEDS_JSON: "${{toJSON(needs)}}"
45+ # name: Transform outcomes
46+ # run: |
47+ # echo "ALL_SUCCESS=$(echo "$NEEDS_JSON" | jq '. | to_entries | map([.value.result == "success", .value.result == "skipped"] | any) | all')" >>$GITHUB_ENV
48+ # - name: check
49+ # run: |
50+ # [ $ALL_SUCCESS == true ]
5051 # check in the merge queue if PR can be merged to main
5152 can_merge :
52- if : always() && github.event_name == 'merge_group'
53+ if : always()
54+ # && github.event_name == 'merge_group'
5355 needs :
5456 - pre-commit
5557 - build_and_test_host
0 commit comments