File tree Expand file tree Collapse file tree 1 file changed +23
-2
lines changed
Expand file tree Collapse file tree 1 file changed +23
-2
lines changed Original file line number Diff line number Diff line change 55 push :
66 branches :
77 - main
8+ merge_group :
89
910concurrency :
1011 group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
@@ -17,10 +18,12 @@ jobs:
1718 os : [arm64, amd64]
1819 include :
1920 - os : amd64
20- name : ' DevContainer (amd64)'
21+ name : ' build/amd64'
22+ description : " DevContainer (amd64)"
2123 runner : ubuntu-24.04
2224 - os : arm64
23- name : ' DevContainer (arm64)'
25+ name : ' build/arm64'
26+ description : " DevContainer (arm64)"
2427 runner : ubuntu-24.04-arm
2528
2629 name : ' ${{ matrix.name }}'
7275 ./scripts/publish.sh --${{ matrix.os }} "main"
7376 fi
7477
78+ overall-result :
79+ name : build/overall-result
80+ description : " Overall Result"
81+ runs-on : ubuntu-24.04
82+ needs :
83+ [
84+ build/amd64,
85+ build/arm64,
86+ ]
87+ if : ${{ !cancelled() }}
88+ steps :
89+ - name : Successful verification
90+ if : ${{ !(contains(needs.*.result, 'failure')) }}
91+ run : exit 0
92+ - name : Failing verification
93+ if : ${{ contains(needs.*.result, 'failure') }}
94+ run : exit 1
95+
7596 merge :
7697 name : ' Merge Labels (main only)'
7798 needs : ["build"]
You can’t perform that action at this time.
0 commit comments