Skip to content

fix: type-check src/gui instead of excluding it - #159

Merged
arthurpanhku merged 1 commit into
mainfrom
fix/typecheck-src-gui
Aug 8, 2026
Merged

fix: type-check src/gui instead of excluding it#159
arthurpanhku merged 1 commit into
mainfrom
fix/typecheck-src-gui

fix: type-check src/gui instead of excluding it

c64fc67
Select commit
Loading
Failed to load commit list.
Socket Security / Socket Security: Pull Request Alerts succeeded Aug 8, 2026 in 10s

Pull Request #159 Alerts: Success

Report Status Message
PR #159 Alerts No new dependency alerts

Pull request alerts notify when new issues are detected between the diff of the pull request and it's target branch.

Details