fix: duplicate path error problem issue(#610)#621

Arunanshu655 wants to merge 1 commit intotypelevel:maintypelevel/typelevel.github.com:mainfrom

Arunanshu655:Arunanshu1Arunanshu655/typelevel.github.com:Arunanshu1Copy head branch name to clipboard