Remove checkdocs from lint ci.

2026-09-24 15:44:59 +08:00 · 2020-12-18 11:07:47 -08:00
parent 2bcb063df8
commit 5d09870b9a
1 changed files with 0 additions and 4 deletions
@@ -25,10 +25,6 @@ jobs:
      - name: Checkout
        uses: actions/checkout@v2

-      - name: Check documentation for tabs
-        run: |
-          ! grep -q -n -e "\t" MANUAL.txt changelog.md
-
      - name: Check cabal file for missing test files
        run: |
          cabal sdist --list-only | sed 's/\.\///' | grep '^test\/' | \