Page MenuHomeSoftware Heritage

developer-setup: Mention the current mypy version we use
ClosedPublic

Authored by ardumont on Feb 1 2022, 9:48 AM.

Details

Summary

To avoid discrepancy with tox when pre-commit is triggered.

Related to T3746#78087

Diff Detail

Event Timeline

Build is green

Patch application report for D7054 (id=25582)

Rebasing onto 4ac8648fb0...

Current branch diff-target is up to date.
Changes applied before test
commit f653c250ee3a9d5dc99f00920d02244233746540
Author: Antoine R. Dumont (@ardumont) <ardumont@softwareheritage.org>
Date:   Tue Feb 1 09:43:55 2022 +0100

    developer-setup: Mention the current mypy version we use
    
    To avoid discrepancy with tox when pre-commit is triggered.

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

olasd added a subscriber: olasd.

Meh, but I guess there's no real way around it...

This revision is now accepted and ready to land.Feb 1 2022, 10:30 AM