add optional mypy invocation to the CI pipeline (swh-pipeline) (!36) · Merge requests · Platform / Infrastructure / CI CD / Jenkins jobs · GitLab

Staging instance, all changes can be removed at any time

Silent mode is enabled

All outbound communications are blocked. Learn more.

Stefano Zacchiroli requested to merge generated-differential-D2070-source into generated-differential-D2070-target Oct 03, 2019

Note that this requires mypy to be installed in the "swh-tox" docker image, but I didn't know how to make sure that's the case. Tips welcome.

Test Plan

I haven't tested it, because I don't know how to. Tips welcome.

Migrated from D2070 (view on Phabricator)