'document' is a typed dict, which mypy does not seem to allow here
Details
Details
Diff Detail
Diff Detail
- Repository
- rDSEA Archive search
- Branch
- master
- Lint
No Linters Available - Unit
No Unit Test Coverage - Build Status
Buildable 30437 Build 47581: Phabricator diff pipeline on jenkins Jenkins console · Jenkins Build 47580: arc lint + arc unit
Event Timeline
Comment Actions
Build is green
Patch application report for D8128 (id=29360)
Rebasing onto c847e9bbb0...
Current branch diff-target is up to date.
Changes applied before test
commit 12530b63898252cafa732e6b537b763a0173eeb8
Author: Valentin Lorentz <vlorentz@softwareheritage.org>
Date: Mon Jul 18 16:05:42 2022 +0200
Fix mypy false positive
'document' is a typed dict, which mypy does not seem to allow hereSee https://jenkins.softwareheritage.org/job/DSEA/job/tests-on-diff/333/ for more details.