Skip to content

Support configuring --num-workers with an environment variable #21395

Closed

Description

@ilevkivskyi

Now that we don't have best number of workers auto-detection, this may help people to e.g. set lower number of mypy workers in their CI jobs. And generally seems like a convenient thing to have. Thanks to @cdce8p for idea.

cc @JukkaL

Activity

  1. KevinRK29 commented on May 2, 2026

    @KevinRK29
    Collaborator

    Is it just adding a block here to do options.num_workers = int(environ_num_workers)

  2. ilevkivskyi commented on May 2, 2026

    @ilevkivskyi
    MemberAuthor

    @KevinRK29 Essentially yes, put it around there (so that it overrides the value from config) + update the FOOTER + update the docs.

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

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions