diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c4c4f3f06..d98bd81f6 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -24,8 +24,8 @@ jobs: matrix: config: - { name: Lint, tool: lint } - - { name: Type Checker, tool: check-types } - { name: Check formatting, tool: 'format:check' } + - { name: Type Checker, tool: check-types } steps: - name: Check out the source code uses: actions/checkout@v3