Skip to content

Lock mypy dependencies used by CI - #22

Closed
zaniebot wants to merge 1 commit into
mainfrom
ci/lock-tool-dependencies
Closed

zaniebot wants to merge 1 commit into
mainfrom
ci/lock-tool-dependencies

Conversation

@zaniebot

@zaniebot zaniebot commented Oct 21, 2026 •

Copy link
Copy Markdown
Collaborator

CI pins mypy directly but resolves its transitive dependencies on each run. Install the type-checking environment from a dedicated lockfile, and use that lockfile for cache invalidation and workflow selection.

@zaniebot
zaniebot force-pushed the ci/lock-tool-dependencies branch from 3375ff7 to f38ea4d Compare October 21, 2026 18:32
@zaniebot zaniebot changed the title Lock third-party tools used by CI Lock mypy dependencies used by CI Oct 21, 2026
@zaniebot zaniebot added the proj:ci-deps CI dependency management improvements label Oct 21, 2026
@zaniebot

Copy link
Copy Markdown
Collaborator Author

Promoted to python#160338

@zaniebot zaniebot closed this Oct 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

proj:ci-deps CI dependency management improvements

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant