Skip to content

Type check_real as Never for text and boolean input - #48

Merged
user27182 merged 1 commit into
mainfrom
fix/check-real-never
Oct 27, 2026
Merged

user27182 merged 1 commit into
mainfrom
fix/check-real-never

Commits

  1. Commits on Oct 27, 2026