Closed BrianSipos closed 3 weeks ago
This pull request sets up GitHub code scanning for this repository. Once the scans have completed and the checks have passed, the analysis results for this pull request branch will appear on this overview. Once you merge this pull request, the 'Security' tab will show more code scanning analysis results (for example, for the default branch). Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results. For more information about GitHub code scanning, check out the documentation.
Everything looks good to me, it can be merged after David does his review
This avoids complaints from security scanning about out-of-date results and moves the CodeQL configuration in-source.