4a91c172b2
* Github Actions pull_request synchronize runs on PR open anyway * Update pull_request.yaml
* Github Actions pull_request synchronize runs on PR open anyway * Update pull_request.yaml