Skip to content

Enable mypy parallel workers in pre-commit#3149

Merged
adamtheturtle merged 1 commit intomainfrom
chore/enable-mypy-parallel-workers
May 7, 2026
Merged

Enable mypy parallel workers in pre-commit#3149
adamtheturtle merged 1 commit intomainfrom
chore/enable-mypy-parallel-workers

Conversation

@adamtheturtle
Copy link
Copy Markdown
Member

@adamtheturtle adamtheturtle commented May 7, 2026

Summary

  • add --num-workers=4 to the mypy pre-push hook entry
  • update mypy-docs doccmd command string to run mypy --num-workers=4
  • keep formatting aligned with repository pre-commit style

Test plan

  • Run repository pre-commit hooks during commit
  • Verify .pre-commit-config.yaml includes worker flag for both hooks

Made with Cursor


Note

Low Risk
Low risk configuration-only change that only affects local pre-push type-check runs by enabling mypy parallelism.

Overview
Speeds up local type-checking by enabling mypy parallel workers in the pre-push hooks.

Updates the mypy hook to run mypy --num-workers=4, and adjusts the mypy-docs doccmd command string to include the same flag (with formatting aligned to the YAML style).

Reviewed by Cursor Bugbot for commit f065522. Bugbot is set up for automated code reviews on this repo. Configure here.

Co-authored-by: Cursor <cursoragent@cursor.com>
@adamtheturtle adamtheturtle deployed to development May 7, 2026 12:10 — with GitHub Actions Active
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