Jenkins job for swh-model is currently failing because of that (see https://jenkins.softwareheritage.org/job/DMOD/job/tests/).
Changes in that diff also guarantee that no typing errors will be raised when using mypy<0.782.
Differential D3840
model: Fix "unused 'type: ignore' comment" error with mypy 0.782 anlambert on Aug 25 2020, 3:37 PM. Authored by
Details
Jenkins job for swh-model is currently failing because of that (see https://jenkins.softwareheritage.org/job/DMOD/job/tests/). Changes in that diff also guarantee that no typing errors will be raised when using mypy<0.782.
Diff Detail
Event TimelineComment Actions Build is green Patch application report for D3840 (id=13527)Rebasing onto c85990b97d... Current branch diff-target is up to date. Changes applied before testcommit 12fe1f78fcaec673eab025732dcb08005f4459ef Author: Antoine Lambert <antoine.lambert@inria.fr> Date: Tue Aug 25 15:32:37 2020 +0200 model: Fix "unused 'type: ignore' comment" error with mypy 0.782 See https://jenkins.softwareheritage.org/job/DMOD/job/tests-on-diff/133/ for more details. |