build(deps-dev): bump mypy from 1.2.0 to 1.5.1 #796
Triggered via pull request
September 12, 2023 21:00
l0b0
Status
Success
Total duration
4m 31s
Artifacts
–