Skip to content

[pull] master from AtsushiSakai:master#33

Merged
pull[bot] merged 1 commit intoabdussalam02:masterfrom
AtsushiSakai:master
Jun 3, 2025
Merged

[pull] master from AtsushiSakai:master#33
pull[bot] merged 1 commit intoabdussalam02:masterfrom
AtsushiSakai:master

Conversation

@pull
Copy link
Copy Markdown

@pull pull Bot commented Jun 3, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.1)

Can you help keep this open source service alive? 💖 Please sponsor : )

Bumps [mypy](https://github.com/python/mypy) from 1.15.0 to 1.16.0.
- [Changelog](https://github.com/python/mypy/blob/master/CHANGELOG.md)
- [Commits](python/mypy@v1.15.0...v1.16.0)

---
updated-dependencies:
- dependency-name: mypy
  dependency-version: 1.16.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
@pull pull Bot added the ⤵️ pull label Jun 3, 2025
@pull pull Bot merged commit eee0031 into abdussalam02:master Jun 3, 2025
@pull pull Bot had a problem deploying to github-pages June 3, 2025 19:49 Failure
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants