PR #17599 Pin beartype version

Pin beartype version #17599

wschin merged 1 commit into main from wechi/beartype

Pin beartype version

d9a9381c

thiagocrepaldi approved these changes on 2023-09-18

wschin added merge on green

snnn approved these changes on 2023-09-18

wschin merged 068300d9 into main 2 years ago

wschin deleted the wechi/beartype branch 2 years ago

Reviewers

snnn

thiagocrepaldi

Assignees

No one assigned

Labels

merge on green

Milestone

No milestone