File tree Expand file tree Collapse file tree 2 files changed +3
-1
lines changed
Expand file tree Collapse file tree 2 files changed +3
-1
lines changed Original file line number Diff line number Diff line change 6060 # GitHub creates merge commits for PRS, so we:
6161 # - explicitly provide branch name
6262 # - provide `github.head_ref` to get the actual commit SHA of the PR branch.
63+ #
64+ # This way it works both for PRs and pushes to branches.
6365 GITHUB_BRANCH_NAME : " ${{ github.head_ref || github.ref_name }}"
6466 GITHUB_HEAD_SHA : " ${{ github.event.pull_request.head.sha || github.sha }}"
6567 run : |
Original file line number Diff line number Diff line change @@ -25,7 +25,7 @@ else ()
2525 )
2626
2727 if (DEFINED ENV{GITHUB_BRANCH_NAME})
28- # Please, see cmake action in .github/actions/ for details
28+ # Please, see .github/actions/cmake/action.yml for details
2929 set (BRANCH $ENV{GITHUB_BRANCH_NAME} )
3030 set (GITHUB_HEAD_SHA $ENV{GITHUB_HEAD_SHA} )
3131 string (SUBSTRING ${GITHUB_HEAD_SHA} 0 7 REV)
You can’t perform that action at this time.
0 commit comments