Page MenuHomeSoftware Heritage
Differential D7714

developer-setup: Upgrade new mypy pinned version
ClosedPublic
Actions

Authored by ardumont on Apr 29 2022, 11:05 AM.

Details

Reviewers
anlambert
Group Reviewers
Reviewers
Commits
rDDOC551fd266362b: developer-setup: Upgrade new mypy pinned version
Summary

That's the version devs must use in our venv now to avoid inconsistencies in
behavior with pre-commit and/or our $EDITOR.

Diff Detail

Event Timeline

ardumont created this revision.Apr 29 2022, 11:05 AM
Herald added a reviewer: Reviewers. · View Herald TranscriptApr 29 2022, 11:05 AM
swh-public-ci added a comment.Apr 29 2022, 11:22 AM

Build is green

Patch application report for D7714 (id=27904)

Rebasing onto a302d64194...

Current branch diff-target is up to date.
Changes applied before test
commit 551fd266362b5351b00e8442b341b5258e7d2318
Author: Antoine R. Dumont (@ardumont) <ardumont@softwareheritage.org>
Date:   Fri Apr 29 11:00:49 2022 +0200

    developer-setup: Upgrade new mypy pinned version

See https://jenkins.softwareheritage.org/job/DDOC/job/build-on-diff/167/ for more details.

Harbormaster completed remote builds in B28969: Diff 27904.Apr 29 2022, 11:22 AM
ardumont requested review of this revision.Apr 29 2022, 11:22 AM
anlambert accepted this revision.Apr 29 2022, 11:25 AM
This revision is now accepted and ready to land.Apr 29 2022, 11:25 AM
Closed by commit rDDOC551fd266362b: developer-setup: Upgrade new mypy pinned version (authored by ardumont). · Explain WhyApr 29 2022, 11:25 AM
This revision was automatically updated to reflect the committed changes.
ardumont added a commit: rDDOC551fd266362b: developer-setup: Upgrade new mypy pinned version.

Revision Contents
Changeset List

PathSize
docs/
2 lines

Diff 27904

View Options

docs/developer-setup.rst

Loading...
About · Developer information · Legal