build(deps): bump install-pinned/mypy from 812c1e7b83dc0b678bdb1c0610d937077c32615e to 15172e0901cf7045a4181d12138212867fb66389#160
Merged
chrjabs merged 1 commit intomainfrom dependabot/github_actions/install-pinned/mypy-15172e0901cf7045a4181d12138212867fb66389Oct 24, 2024
+1-1
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}