This repository was archived by the owner on Nov 12, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 2 files changed +14
-1
lines changed Expand file tree Collapse file tree 2 files changed +14
-1
lines changed Original file line number Diff line number Diff line change @@ -4,6 +4,13 @@ name: Main
44on :
55 workflow_dispatch :
66 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-*
714
815jobs :
916 src_checkers :
Original file line number Diff line number Diff line change 4848 - name : Run the build
4949 env :
5050 TEST_BUILD : ${{ matrix.TEST_BUILD }}
51- COVERAGE : ${{ matrix.COVERAGE }}
51+ # Pushes to branches on developer forks (please see the caller workflow)
52+ # won't measure coverage. Coverage is meant to be measured only for
53+ # pull requests.
54+ # Note: Pull requests to forks will measure coverage as well.
55+ # Note: github.event_name for a workflow which has been called by
56+ # another workflow contains the triggering event of the caller workflow.
57+ COVERAGE : ${{ github.event_name == 'pull_request' && matrix.COVERAGE || 0 }}
5258 run : cd $WORKDIR && ./build-CI.sh
You can’t perform that action at this time.
0 commit comments