pr-check: Fix visual demarcation again

This commit is contained in:
bbhtt
2025-12-24 18:18:09 +05:30
parent 10f0593b13
commit aed145f0e2
+2 -6
View File
@@ -81,9 +81,7 @@ jobs:
for PR_NUM in "${PR_NUMBERS[@]}"; do
echo
echo "=== Checking PR https://github.com/flathub/flathub/pull/$PR_NUM ==="
echo
echo "===================== Checking PR https://github.com/flathub/flathub/pull/$PR_NUM ====================="
json=$(gh pr view "$PR_NUM" --json body,title -q '{body: .body, title: .title}')
PR_BODY=$(echo "$json" | jq -r .body)
@@ -308,9 +306,7 @@ jobs:
--remove-label "awaiting-changes" || true
fi
echo
echo "=== Finished checking PR https://github.com/flathub/flathub/pull/$PR_NUM ==="
echo
echo "================================================ Finished checking PR ================================================"
done
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}