Skip to content

chore: Remove unused ignoring typing comments #80

chore: Remove unused ignoring typing comments

chore: Remove unused ignoring typing comments #80

Triggered via pull request January 15, 2026 22:22
Status Success
Total duration 1m 12s
Artifacts

on_pull_request.yaml

on: pull_request
PR title check
4s
PR title check
Doc checks  /  ...  /  Docs check
59s
Doc checks / Doc checks / Docs check
Code checks  /  Actions lint check
28s
Code checks / Actions lint check
Code checks  /  Spell check
6s
Code checks / Spell check
Matrix: Code checks / Lint check / Lint check
Matrix: Code checks / Type check / Type check
Matrix: Tests / Integration tests / Integration tests
Matrix: Tests / Unit tests / Unit tests
Fit to window
Zoom out
Zoom in