Github Actions 中 PR 更新的事件

Question

Which event is triggered with I add new commits to a PR in Github actions? I have already tried the created and edited events. Here's a snippet from my actions file

on:
  pull_request:
    branches:
      - develop
    types:
      - opened
      - edited
  pull_request_review:
    branches:
      - develop
    types:
      - edited

Answer 1

Try the synchronized event .

While it is true that "Events API timelines don't include pull request events with the synchronize action.", it is still used with PR GitHub Actions .

For instance: seferov/pr-lint-action .