Skip to content

Remove redundant codeql workflow - #1635

Merged
NSeydoux merged 1 commit into
mainfrom
chore/remove-codeql
Sep 22, 2026
Merged

NSeydoux merged 1 commit into
mainfrom
chore/remove-codeql

Conversation

@NSeydoux

Copy link
Copy Markdown
Contributor

This is redundant with other tools used for code analysis.

This is redundant with other tools used for code analysis.
@NSeydoux
NSeydoux requested a review from a team as a code owner September 22, 2026 12:28
@NSeydoux
NSeydoux enabled auto-merge September 22, 2026 12:28
@NSeydoux
NSeydoux added this pull request to the merge queue Sep 22, 2026
Merged via the queue into main with commit 46f9ce2 Sep 22, 2026
17 checks passed
@NSeydoux
NSeydoux deleted the chore/remove-codeql branch September 22, 2026 13:33

This branch was successfully deployed

1 active deployment
ESS PodSpaces — 6747b885 Deployed Sep 22, 2026 by NSeydoux via e2e-browser (ESS PodSpaces, false) #3765
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