Skip to content

build(ci): run lint on the quick CI check; remove from CodeQL - #721

Merged
david-allison merged 2 commits into
ankidroid:mainfrom
david-allison:fix-lint
Aug 15, 2026
Merged

build(ci): run lint on the quick CI check; remove from CodeQL#721
david-allison merged 2 commits into
ankidroid:mainfrom
david-allison:fix-lint

Conversation

@david-allison

@david-allison david-allison commented Aug 12, 2026

Copy link
Copy Markdown
Member

CodeQL ran this instead, which was unusual

Assisted-by: Claude Fable 5

CodeQL ran this instead, which was unusual

Assisted-by: Claude Fable 5
Lint is better handled in `build-quick.yml`

Assisted-by: Claude Fable 5
@david-allison david-allison changed the title build(ci): run lint on the quick CI check build(ci): run lint on the quick CI check; remove from CodeQL Aug 12, 2026
@david-allison david-allison reopened this Aug 13, 2026
@david-allison
david-allison added this pull request to the merge queue Aug 15, 2026
Merged via the queue into ankidroid:main with commit 24a9cc9 Aug 15, 2026
24 of 27 checks passed
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.

1 participant