@@ -68,11 +68,18 @@ jobs:
68
68
}}
69
69
70
70
- run : git remote -vvv
71
- - run : echo ${{ github.ref }}
72
- - run : echo ${{ github.repository }}
73
- - run : echo ${{ github.repository }}
74
- - run : echo ${{ github.event.pull_request.head.sha }}
75
- - run : echo ${{ env.GITHUB_HEAD_REF }}
71
+ - run : git -P branch -v
72
+ - run : git -P branch -r -v
73
+ - run : echo ref= ${{ github.ref }}
74
+ - run : echo sha= ${{ github.sha }}
75
+ - run : echo repository= ${{ github.repository }}
76
+ - run : echo event.pull_request.head.sha= ${{ github.event.pull_request.head.sha }}
77
+ - run : echo head_ref= ${{ github.head_ref }}
78
+ - run : echo base_ref= ${{ github.base_ref }}
79
+ - run : echo env.GITHUB_HEAD_REF= ${{ env.GITHUB_HEAD_REF }}
80
+ - run : echo $GITHUB_HEAD_REF
81
+ - run : echo $GITHUB_BASE_REF
82
+ - run : echo head sha or sha = ${{ github.event.pull_request.head.sha || github.sha }}
76
83
77
84
# Adapted from https://github.com/actions/checkout/issues/520#issuecomment-1167205721
78
85
- name : Fetch commits to get branch diff
96
103
commits : ${{ github.event.pull_request.commits }}
97
104
refspec_base : ' +${{ github.event.pull_request.base.sha }}:remotes/origin/${{ github.event.pull_request.base.ref }}'
98
105
refspec_pr : ' +${{ github.event.pull_request.head.sha }}:remotes/origin/${{ github.event.pull_request.head.ref }}'
106
+ - run : git -P branch -v
107
+ - run : git -P branch -r -v
99
108
100
109
# We only want to run tests on PRs when related files are changed,
101
110
# or when someone triggers a manual workflow run.
@@ -104,6 +113,7 @@ jobs:
104
113
run : python Tools/build/compute-changes.py
105
114
env :
106
115
GITHUB_DEFAULT_BRANCH : ${{ github.event.repository.default_branch }}
116
+ GITHUB_HEAD_REF : ${{ github.event.pull_request.head.sha || github.sha }}
107
117
108
118
- name : Compute hash for config cache key
109
119
id : config-hash
0 commit comments