chore: Remove redundant cast
Some checks failed
ci/woodpecker/push/lint Pipeline was successful
ci/woodpecker/push/static_analysis Pipeline failed
ci/woodpecker/push/test Pipeline failed
ci/woodpecker/manual/lint Pipeline was successful
ci/woodpecker/manual/static_analysis Pipeline failed
ci/woodpecker/manual/test Pipeline failed
Some checks failed
ci/woodpecker/push/lint Pipeline was successful
ci/woodpecker/push/static_analysis Pipeline failed
ci/woodpecker/push/test Pipeline failed
ci/woodpecker/manual/lint Pipeline was successful
ci/woodpecker/manual/static_analysis Pipeline failed
ci/woodpecker/manual/test Pipeline failed
This commit is contained in:
parent
ddaa75f44b
commit
7a69bd509f
2 changed files with 3 additions and 2 deletions
|
|
@ -35,7 +35,6 @@ class PdfExtractor:
|
|||
for (
|
||||
page
|
||||
) in doc: # pyright: ignore [reportUnknownVariableType] - missing stub
|
||||
page = cast(mu.Page, page)
|
||||
annot: mu.Annot
|
||||
for annot in page.annots():
|
||||
quote, note = self._retrieve_annotation_content(page, annot)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue