diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index b979a67..a1697d1 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -38,6 +38,6 @@ jobs: run: | make lint - - name: Type check - run: | - make typecheck + # - name: Type check + # run: | + # make typecheck