Skip to content

Create codeql.yml#1506

Closed
edburns wants to merge 2 commits into
mainfrom
edburns/copy-codeql-from-pr-1444
Closed

Create codeql.yml#1506
edburns wants to merge 2 commits into
mainfrom
edburns/copy-codeql-from-pr-1444

Conversation

@edburns
Copy link
Copy Markdown
Collaborator

@edburns edburns commented May 29, 2026

Copy the codeql.yml file directly from #1444 .

See 86aacbb.

Copy the `codeql.yml` file directly from #1444 .
Copilot AI review requested due to automatic review settings May 29, 2026 21:56
Copy link
Copy Markdown
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.

Copilot wasn't able to review any files in this pull request.

@edburns edburns enabled auto-merge May 29, 2026 21:56
@edburns edburns disabled auto-merge May 29, 2026 21:57
@edburns edburns enabled auto-merge May 29, 2026 21:57
@edburns edburns disabled auto-merge May 29, 2026 21:59
@edburns edburns enabled auto-merge May 29, 2026 21:59
@edburns edburns requested a review from Copilot May 29, 2026 21:59
Copy link
Copy Markdown
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.

Copilot wasn't able to review any files in this pull request.

@edburns edburns disabled auto-merge May 29, 2026 21:59
@edburns edburns enabled auto-merge May 29, 2026 21:59
@edburns edburns closed this May 30, 2026
auto-merge was automatically disabled May 30, 2026 00:30

Pull request was closed

@edburns edburns deleted the edburns/copy-codeql-from-pr-1444 branch May 30, 2026 00:30
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