PR: troubleshooting the PR not being created

This commit is contained in:
XargonWan 2024-11-06 09:43:17 +09:00
parent 46a278f4a0
commit 7c2b6e3496

View file

@ -76,9 +76,9 @@ jobs:
fi fi
# Check if any changes were introduced by the merge # Check if any changes were introduced by the merge
if git diff --exit-code; then if [ -z "$(git diff --stat)" ]; then
echo "No changes detected after merging. Exiting." echo "No changes detected after merging. Exiting."
exit 0 # Exit the workflow if no changes are detected exit 0
fi fi
echo "BRANCH_NAME=${BRANCH_NAME}" >> $GITHUB_ENV echo "BRANCH_NAME=${BRANCH_NAME}" >> $GITHUB_ENV