Skip to content

Commit

Permalink
Update PR summary for review_requested (#70)
Browse files Browse the repository at this point in the history
  • Loading branch information
glenn-jocher committed Jan 29, 2024
1 parent 75d708e commit 0b700d2
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
3 changes: 2 additions & 1 deletion .github/workflows/format.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,8 @@ on:
branches: [main, master]
pull_request:
branches: [main, master]
types: [opened, closed, synchronize]
# https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request
types: [opened, closed, synchronize, review_requested]

jobs:
format:
Expand Down
2 changes: 1 addition & 1 deletion action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -153,7 +153,7 @@ runs:

# PR Summary -------------------------------------------------------------------------------------------------------
- name: PR Summary
if: inputs.summary == 'true' && (github.event_name == 'pull_request' || github.event_name == 'pull_request_target') && (github.event.action == 'opened' || github.event.action == 'closed')
if: inputs.summary == 'true' && (github.event_name == 'pull_request' || github.event_name == 'pull_request_target') && github.event.action != 'synchronize'
env:
REPO_NAME: ${{ github.repository }}
PR_NUMBER: ${{ github.event.pull_request.number }}
Expand Down

0 comments on commit 0b700d2

Please sign in to comment.