Restore and deprecate `TypeOptionDiscovered`#348

Merged

yevhenii-nadtochii merged 4 commits intomasterfrom

restore-type-option-discovered

Apr 15, 2025

Commits on Apr 15, 2025

Restore and deprecate `TypeOptionDiscovered`
yevhenii-nadtochii
committed
Bump the version -> `0.93.13`
yevhenii-nadtochii
committed
Update reports
yevhenii-nadtochii
committed
Fix whitespaces
yevhenii-nadtochii
committed