mypy
Further speed up union simplification
#12541
Merged

Further speed up union simplification #12541

JukkaL merged 1 commit into master from faster-union-simplify-3
JukkaL
JukkaL Further speed up union simplification
7246dbc4
github-actions
jhance
jhance approved these changes on 2022-04-07
JukkaL JukkaL merged ab6185e2 into master 4 years ago
JukkaL JukkaL deleted the faster-union-simplify-3 branch 4 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone