Skip to content

chore: update codeql version because old one is retired#1616

Merged
rlinehan merged 1 commit into
mainfrom
rlinehan/update-codeql
Jun 5, 2026
Merged

chore: update codeql version because old one is retired#1616
rlinehan merged 1 commit into
mainfrom
rlinehan/update-codeql

Conversation

@rlinehan

@rlinehan rlinehan commented Jun 5, 2026

Copy link
Copy Markdown
Contributor

@rlinehan rlinehan changed the title chore: update codeql version because old on is retired chore: update codeql version because old one is retired Jun 5, 2026
@rlinehan rlinehan force-pushed the rlinehan/update-codeql branch from d50f7eb to 0ab8bfe Compare June 5, 2026 20:22
@rlinehan rlinehan force-pushed the rlinehan/update-codeql branch from 0ab8bfe to 41565eb Compare June 5, 2026 22:11
@rlinehan rlinehan marked this pull request as ready for review June 5, 2026 22:24
@rlinehan rlinehan merged commit 63336cd into main Jun 5, 2026
11 checks passed
@rlinehan rlinehan deleted the rlinehan/update-codeql branch June 5, 2026 22:25
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