Skip to content
This repository was archived by the owner on Oct 28, 2025. It is now read-only.

chore: exclude semgrep interfaces from pyright#94

Closed
liukatkat wants to merge 1 commit intomainfrom
katrina/pre-commit-fix
Closed

chore: exclude semgrep interfaces from pyright#94
liukatkat wants to merge 1 commit intomainfrom
katrina/pre-commit-fix

Commits

Commits on Aug 1, 2025