Skip to content

Remove CodeQL workflow - #210

Merged
IRus merged 1 commit into
mainfrom
agent/remove-codeql
Aug 17, 2026
Merged

Remove CodeQL workflow#210
IRus merged 1 commit into
mainfrom
agent/remove-codeql

Conversation

@IRus

@IRus IRus commented Aug 17, 2026

Copy link
Copy Markdown
Member

Summary

  • Remove the CodeQL GitHub Actions workflow.
  • Stop CodeQL runs on pull requests, pushes to main, and the weekly schedule.

Why

CodeQL has not produced an alert for this repository, while its full Kotlin build has become a frequent source of CI failures, including compiler out-of-memory failures on PR #209 and the subsequent main run. Removing the workflow avoids noisy, long-running checks that are not providing actionable findings.

Impact

CodeQL code scanning will no longer run for this repository. Existing build, test, Dependabot, and secret-scanning behavior is unchanged.

Validation

  • git diff --check origin/main...HEAD
  • Confirmed there are no remaining CodeQL references under .github.

@IRus
IRus marked this pull request as ready for review August 17, 2026 08:30
@IRus
IRus merged commit c31cd08 into main Aug 17, 2026
6 checks passed
@IRus
IRus deleted the agent/remove-codeql branch August 17, 2026 08:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant