Page MenuHomeSoftware Heritage

developer-setup: Upgrade new mypy pinned version
ClosedPublic

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

Details

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

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.

This revision is now accepted and ready to land.Apr 29 2022, 11:25 AM