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