Skip to content

Commit

Permalink
sneaky fix of PR format command
Browse files Browse the repository at this point in the history
  • Loading branch information
exaexa committed Jul 15, 2022
1 parent 683eab7 commit 9228a46
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/pr-format.yml
Original file line number Diff line number Diff line change
Expand Up @@ -57,6 +57,6 @@ jobs:
":x: Auto-formatting triggered by [this comment](${{ github.event.comment.html_url }}) failed, perhaps someone pushed to the PR in the meantime?"
fi
else
then gh pr comment ${{ github.event.issue.number }} --body \
gh pr comment ${{ github.event.issue.number }} --body \
":sunny: Auto-formatting triggered by [this comment](${{ github.event.comment.html_url }}) succeeded, but the code was already formatted correctly."
fi

0 comments on commit 9228a46

Please sign in to comment.