This follows the recommendation in the GitHub Docs "Configuring code scanning" > "Avoiding unnecessary scans of pull requests".
This follows the recommendation in the GitHub Docs "Configuring code scanning" > "Avoiding unnecessary scans of pull requests".