Skip to content

Conversation

@hspaans
Copy link
Owner

@hspaans hspaans commented Jul 15, 2025

No description provided.

@hspaans hspaans requested a review from Copilot July 15, 2025 21:06
@hspaans hspaans self-assigned this Jul 15, 2025
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR adds a GitHub Actions workflow to enable CodeQL code scanning on pushes, pull requests, and a weekly schedule.

  • Introduces .github/workflows/codeql.yml for automated CodeQL analysis.
  • Configures triggers on the master branch and a weekly cron schedule.
  • Sets up a strategy matrix to analyze supported languages with appropriate runners.
Comments suppressed due to low confidence (2)

.github/workflows/codeql.yml:17

  • The workflow is configured to run on the master branch, but many repositories now use main as the default branch. Please confirm your default branch name or update these triggers accordingly.
    branches: [ "master" ]

.github/workflows/codeql.yml:19

  • The pull_request trigger is set to master, which may not match your default branch. Consider using main or the correct branch name to ensure pull requests are scanned.
    branches: [ "master" ]

@github-advanced-security
Copy link

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.

@hspaans hspaans merged commit 3210248 into master Jul 15, 2025
49 checks passed
@hspaans hspaans deleted the hspaans-patch-1 branch July 15, 2025 21:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants