Skip to content

Lint step speedup#848

Merged
f213 merged 1 commit into
masterfrom
lint-speedup
Jul 22, 2026
Merged

Lint step speedup#848
f213 merged 1 commit into
masterfrom
lint-speedup

Conversation

@f213

@f213 f213 commented Jul 22, 2026

Copy link
Copy Markdown
Member

Parallel lint jobs

@f213
f213 enabled auto-merge (squash) July 22, 2026 13:32
@f213
f213 merged commit 4e061bc into master Jul 22, 2026
3 checks passed
@f213
f213 deleted the lint-speedup branch July 22, 2026 13:35
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