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