Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Github Actions pull_request synchronize runs on PR open anyway (#370)
* Github Actions pull_request synchronize runs on PR open anyway * Update pull_request.yaml * Update pull_request.yaml
- Loading branch information