Retargeting a GitHub PR may leave its new base untested
When GitHub Actions uses the default pull_request activity types, changing a PR's target branch does not itself start validation: retargeting is an edited event, while the defaults are opened, synchronize, and reopened. After retargeting, inspect runs for the current head and new…