Skip to content

Conversation

@jd
Copy link
Owner

@jd jd commented Dec 2, 2025

mypy changed the type of error reported

mypy changed the type of error reported

Change-Id: Ice231e0e04dfafc5f421e6d3b416c1504bcef77d
@mergify
Copy link
Contributor

mergify bot commented Dec 2, 2025

Merge Queue Status Beta

✅ The pull request has been merged

This pull request spent 7 seconds in the queue, with no time waiting for CI.
The checks were run in-place.

Required conditions to merge

@mergify mergify bot merged commit e792bba into main Dec 2, 2025
10 checks passed
@mergify mergify bot deleted the devs/jd/fix-mypy/Ice231e0e04dfafc5f421e6d3b416c1504bcef77d branch December 2, 2025 10:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants