File tree Expand file tree Collapse file tree 1 file changed +7
-2
lines changed Expand file tree Collapse file tree 1 file changed +7
-2
lines changed Original file line number Diff line number Diff line change 5656 wget https://github.com/phpDocumentor/phpDocumentor/releases/download/v3.3.1/phpDocumentor.phar
5757 php phpDocumentor.phar run -d src -t docs
5858 - run : |
59- diff=$(git --no-pager diff --name-only HEAD)
60- echo "DIFF_IS_EMPTY=$([[ -z "$diff" ]] && echo 'true' || echo 'false')" >> $GITHUB_ENV
59+ diff_files=$(git --no-pager diff --name-only)
60+ diff_excluding_submodule=$(echo "$diff_files" | grep -v '^line-openapi$' || true)
61+
62+ echo "diff files: $diff_files"
63+ echo "diff excluding submodule: $diff_excluding_submodule"
64+
65+ echo "DIFF_IS_EMPTY=$([[ -z "$diff_excluding_submodule" ]] && echo 'true' || echo 'false')" >> $GITHUB_ENV
6166 echo "CURRENT_DATETIME=$(date +'%Y%m%d%H%M%S')" >> $GITHUB_ENV
6267 # # Run if diff exists and pull request, and make CI status failure (but allow renovate bot)
6368 - if : ${{ github.event_name == 'pull_request' && env.DIFF_IS_EMPTY != 'true' && github.actor != 'renovate[bot]' }}
You can’t perform that action at this time.
0 commit comments