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

Repository

rDDOC Development documentation

Lint

Automatic diff as part of commit; lint not applicable.

Unit

Automatic diff as part of commit; unit tests not applicable.

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

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

Path

Size

docs/

developer-setup.rst

2 lines

Diff 27906

View Options

developer-setup: Upgrade new mypy pinned versionClosedPublicActions