Skip to content

ci: Simplify CodeQL analysis workflow - #186

Merged
edgarrmondragon merged 1 commit into
mainfrom
edgarrmondragon-patch-1
Jul 23, 2026
Merged

ci: Simplify CodeQL analysis workflow#186
edgarrmondragon merged 1 commit into
mainfrom
edgarrmondragon-patch-1

Conversation

@edgarrmondragon

Copy link
Copy Markdown

Removed unnecessary checkout step for pull requests.

Removed unnecessary checkout step for pull requests.
@edgarrmondragon
edgarrmondragon added this pull request to the merge queue Jul 23, 2026
Merged via the queue into main with commit 7dfe56d Jul 23, 2026
20 checks passed
@edgarrmondragon
edgarrmondragon deleted the edgarrmondragon-patch-1 branch July 23, 2026 21:54
@edgarrmondragon edgarrmondragon added the chore Maintenance task label Aug 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance task

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant