dramforever
122f910a1d
The default types is [opened, synchronize, reopened]. Having reopened for pull_request means that closing and reopening a PR would retrigger all these workflows, and most importantly, on the newest base branch. This fixes the issue where you have to rebase a pull request to retrigger CI with newest workflows. Now you just reopen it. See https://docs.github.com/en/actions/reference/workflows-and-actions/events-that-trigger-workflows#pull_request Signed-off-by: Vivian Wang <wangruikang@iscas.ac.cn>