File tree Expand file tree Collapse file tree 1 file changed +6
-2
lines changed Expand file tree Collapse file tree 1 file changed +6
-2
lines changed Original file line number Diff line number Diff line change 19
19
20
20
env :
21
21
HEAD_REF : ${{ github.head_ref }}
22
+ REPO_FULL_NAME : ${{ github.event.pull_request.head.repo.full_name }}
23
+ GITHUB_REPOSITORY : ${{ github.repository }}
22
24
23
25
jobs :
24
26
library_generation :
25
- # skip pull requests come from a forked repository
26
- if : github.event.pull_request.head.repo.full_name == github.repository
27
27
runs-on : ubuntu-latest
28
28
steps :
29
29
- uses : actions/checkout@v4
34
34
shell : bash
35
35
run : |
36
36
set -ex
37
+ if [[ "${GITHUB_REPOSITORY}" != "${REPO_FULL_NAME}" ]]; then
38
+ echo "This PR comes from a fork. Generation will be skipped"
39
+ exit 0
40
+ fi
37
41
[ -z "$(git config user.email)" ] && git config --global user.email "[email protected] "
38
42
[ -z "$(git config user.name)" ] && git config --global user.name "cloud-java-bot"
39
43
bash .github/scripts/hermetic_library_generation.sh \
You can’t perform that action at this time.
0 commit comments