Событие для обновления PR в Github Actions

Question

Какое событие вызвано добавлением новых коммитов в PR в действиях Github? Я уже пробовал события created и edited. Вот фрагмент из моего файла действий

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

Answer 1

Попробуйте событие synchronized .

Хотя верно, что «Временные шкалы API событий не включают события запроса на извлечение с действием синхронизации». , он все еще используется с PR GitHub Actions .

Например: seferov/pr-lint-action.