Skip to content

Commit

Permalink
Fix "Comment on pull request" step
Browse files Browse the repository at this point in the history
  • Loading branch information
fgrosse committed Mar 11, 2024
1 parent 0c6d062 commit f7850c0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -94,7 +94,7 @@ jobs:
- name: Comment on pull request
run: |
COMMENT_ID=$(gh api repos/${{ github.repository }}/issues/${{ github.event.pull_request.number }}/comments -q '.[] | select(.user.login=="github-actions[bot]" and (.body | test("Coverage Δ")) )' | head -n 1)
COMMENT_ID=$(gh api repos/${{ github.repository }}/issues/${{ github.event.pull_request.number }}/comments -q '.[] | select(.user.login=="github-actions[bot]" and (.body | test("Coverage Δ")) ) | .id' | head -n 1)
if [ -z "$COMMENT_ID" ]; then
echo "Creating new coverage report comment"
else
Expand Down

0 comments on commit f7850c0

Please sign in to comment.