Pin mypy to fix CI (backport #711) #712
Merged
Mergify / Rule: delete backport/copy branch (Mergify rule) (delete_head_branch)
succeeded
Nov 10, 2023 in 0s
Branch `mergify/bp/stable/0.7/pr-711` has been deleted
Loading