build(deps-dev): bump mypy from 1.19.1 to 1.20.0 in /tools#2175
Open
dependabot[bot] wants to merge 1 commit intoros2from
Open
build(deps-dev): bump mypy from 1.19.1 to 1.20.0 in /tools#2175dependabot[bot] wants to merge 1 commit intoros2from
dependabot[bot] wants to merge 1 commit intoros2from