Skip to content

Revert "Run CodeQL without build (#204)"#206

Merged
offa merged 1 commit intomasterfrom
codeql
Nov 24, 2025
Merged

Revert "Run CodeQL without build (#204)"#206
offa merged 1 commit intomasterfrom
codeql

Conversation

@offa
Copy link
Copy Markdown
Owner

@offa offa commented Nov 24, 2025

This reverts commit 5fb9669.

Introduced too many false positives and doubled the build time.

Reverts #204

@offa offa added this to the next milestone Nov 24, 2025
@offa offa added the ci label Nov 24, 2025
@offa offa merged commit 414d051 into master Nov 24, 2025
21 checks passed
@offa offa deleted the codeql branch November 24, 2025 17:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant