Skip to content

Stop distributing the shared CodeQL configuration - #200

Closed
einari wants to merge 1 commit into
mainfrom
remove-codeql
Closed

einari wants to merge 1 commit into
mainfrom
remove-codeql

Conversation

@einari

@einari einari commented Oct 23, 2026

Copy link
Copy Markdown
Contributor

Removed

  • The common workflow bootstrap no longer propagates .github/codeql/codeql-config.yml, and changes to it no longer trigger the bootstrap; CodeQL is turned off across the Cratis organization.

CodeQL is turned off across the Cratis organization, so the bootstrap
no longer propagates .github/codeql/codeql-config.yml and no longer
watches it as a trigger.
@woksin

woksin commented Oct 25, 2026 •

Copy link
Copy Markdown
Contributor

@einari, an update on this PR, which was never merged.

On 25 October 00:08Z, merging #210 triggered the bootstrap (run https://github.com/Cratis/Workflows/actions/runs/40145560859). Because this PR wasn't merged, the run put .github/codeql/codeql-config.yml back into 32 repositories, including Chronicle, where you had deleted it on purpose. 31 of those commits carry [skip ci]. None of the 32 repositories runs CodeQL (no advanced setup, no default setup), so the file is inert.

Next steps:

@woksin

woksin commented Oct 25, 2026

Copy link
Copy Markdown
Contributor

Superseded by #214, which re-applied this change on current main and is merged (6eb3729). The bootstrap run it triggered (https://github.com/Cratis/Workflows/actions/runs/40172402715) pushed 0 commits. Thanks @einari.

@woksin woksin closed this Oct 25, 2026
@einari

einari commented Oct 25, 2026

Copy link
Copy Markdown
Contributor Author

@woksin Damn.. That was an oversight. Lets just get this in and disable codeql on everything again.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants