chore(deps-dev): bump mypy from 1.15.0 to 1.16.0 #165
Merged
Mergify / Queue: Embarked in merge queue
succeeded
May 30, 2025 in 0s
The pull request embarked with main (a396804) will be merged soon
Required conditions for merge:
- all of [🛡 Merge Protections rule Changelog requirements]:
- all of [🛡 Merge Protections rule Enforce conventional commit]:
- all of [🛡 Merge Protections rule 🔎 Reviews]:
- any of [🛡 GitHub repository ruleset rule]:
-
check-neutral = Mergify Merge Protections -
check-skipped = Mergify Merge Protections -
check-success = Mergify Merge Protections
-
Check-runs and statuses of the embarked pull request #166:
| Test with Python 3.10 | details | ||
| Test with Python 3.11 | details | ||
| Test with Python 3.12 | details | ||
| Test with Python 3.9 | details |
Loading