Skip to content

Require released Beartype 0.23.0 - #3294

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

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

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

dc3f06e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar