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

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

Details

Reviewers

olasd
vlorentz

Group Reviewers

Reviewers

Maniphest Tasks

T3746: staging: Deploy maven indexer/lister/loader

Commits

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

Summary

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

Related to T3746#78087

Diff Detail

Repository

rDDOC Development documentation

Branch

master

Lint

No Linters Available

Unit

No Unit Test Coverage

Build Status

Buildable 26414
Build 41295: Phabricator diff pipeline on Jenkins for swh-docs	Jenkins console · Jenkins
Build 41294: arc lint + arc unit

Event Timeline

ardumont created this revision.Feb 1 2022, 9:48 AM

Herald added a reviewer: Reviewers. · View Herald TranscriptFeb 1 2022, 9:48 AM

ardumont mentioned this in T3746: staging: Deploy maven indexer/lister/loader.Feb 1 2022, 9:54 AM

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.

Harbormaster completed remote builds in B26414: Diff 25582.Feb 1 2022, 9:58 AM

ardumont requested review of this revision.Feb 1 2022, 9:58 AM