Skip typechecking when the decls have not changed#159

Merged

fizruk merged 2 commits intodevelopfrom detect-decl-changes

Dec 15, 2023

+44-3

Commits on Dec 13, 2023

Skip typechecking when the decls have not changed
aabounegm
committed

Commits on Dec 15, 2023

Merge branch 'develop' into detect-decl-changes
fizruk
authored