Skip to content

Just: Parallelize lint-heavy - #159

Merged
OpsBotPrime merged 2 commits into
masterfrom
reinier/just-parallel
Jul 29, 2026
Merged

Just: Parallelize lint-heavy#159
OpsBotPrime merged 2 commits into
masterfrom
reinier/just-parallel

Conversation

@ReinierMaas

Copy link
Copy Markdown
Contributor

We can run clippy --fix, lint-cargo and mypy in tandem because they use different caching directories. This greatly speeds-up the lint-heavy pass.

@ReinierMaas ReinierMaas self-assigned this Jul 29, 2026
@ReinierMaas

Copy link
Copy Markdown
Contributor Author

Show @radekchannable

@OpsBotPrime merge!

ReinierMaas and others added 2 commits July 29, 2026 16:12
Approved-by: ReinierMaas
Priority: Normal
Auto-deploy: false
@OpsBotPrime

Copy link
Copy Markdown
Contributor

Rebased as bad8853, waiting for CI …

@OpsBotPrime

Copy link
Copy Markdown
Contributor

CI job 🟡 started.

@OpsBotPrime
OpsBotPrime force-pushed the reinier/just-parallel branch from 713d94b to bad8853 Compare July 29, 2026 14:17
@OpsBotPrime
OpsBotPrime merged commit bad8853 into master Jul 29, 2026
6 of 7 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.

2 participants