File tree 2 files changed +11
-1
lines changed
2 files changed +11
-1
lines changed Original file line number Diff line number Diff line change @@ -4,6 +4,13 @@ name: Main
4
4
on :
5
5
workflow_dispatch :
6
6
pull_request :
7
+ push :
8
+ # It is just for developer convenience so pushes to forks triggers the same
9
+ # workflow as for pull requests. For branches that match the following
10
+ # ignore patterns, the workflow has to be triggered manually.
11
+ branches-ignore :
12
+ - master
13
+ - stable-*
7
14
8
15
jobs :
9
16
src_checkers :
Original file line number Diff line number Diff line change 48
48
- name : Run the build
49
49
env :
50
50
TEST_BUILD : ${{ matrix.TEST_BUILD }}
51
- COVERAGE : ${{ matrix.COVERAGE }}
51
+ # Coverage is meant to be measured only for pull requests.
52
+ # Note: github.event_name for a workflow which has been called by
53
+ # another workflow contains the triggering event of the caller workflow.
54
+ COVERAGE : ${{ github.event_name == 'pull_request' && matrix.COVERAGE || 0 }}
52
55
run : cd $WORKDIR && ./build-CI.sh
You can’t perform that action at this time.
0 commit comments