Skip to content

Require released Beartype 0.23.0 - #1976

Merged
adamtheturtle merged 4 commits into
mainfrom
beartype-0.23.0
Oct 10, 2026
Merged

Require released Beartype 0.23.0#1976
adamtheturtle merged 4 commits into
mainfrom
beartype-0.23.0

Merge remote-tracking branch 'origin/main' into beartype-simplified

2365fc0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar