Remove unnecessary 'type: ignore' comments in tracetools_trace #1343
Triggered via pull request
February 18, 2025 19:35
christophebedard
Status
Success
Total duration
38m 29s
Artifacts
–