Closed pingiun closed 1 year ago
The typecheck will fail for now, because #67 isn't merged yet. I suggest we make the linting check mandatory once both PRs have merged
The typecheck will fail for now, because #67 isn't merged yet. I suggest we make the linting check mandatory once both PRs have merged