Add fallback config paths for typegen CLI#295

eluce2 merged 1 commit into

mainproofsh/proofkit:mainfrom

codex/add-typegen-config-pathsproofsh/proofkit:codex/add-typegen-config-pathsCopy head branch name to clipboard