Skip to content

Remove unneeded "type: ignore" comments. #493

Remove unneeded "type: ignore" comments.

Remove unneeded "type: ignore" comments. #493

Triggered via pull request October 13, 2023 14:21
Status Success
Total duration 25s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in