Skip to content

[eudsl-python-extras] Replace bare except with Exception, fix find_ops type hint#461

Merged
makslevental merged 1 commit into
mainfrom
users/makslevental/fix-bare-except
Jun 29, 2026
Merged

[eudsl-python-extras] Replace bare except with Exception, fix find_ops type hint#461
makslevental merged 1 commit into
mainfrom
users/makslevental/fix-bare-except

Commits

Commits on Jun 29, 2026