Skip to content

Add missing @beartype to active_flag_option#1982

Merged
adamtheturtle merged 1 commit into
mainfrom
add-missing-beartype
Feb 21, 2026
Merged

Add missing @beartype to active_flag_option#1982
adamtheturtle merged 1 commit into
mainfrom
add-missing-beartype

Commits

Commits on Feb 21, 2026