Remove checkdocs from lint ci.
commit5d09870b9ae59745ab5e5be2d1deccb7e76b42e2
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 18 Dec 2020, 11:07 (6 years ago)
parent2bcb063
.github/workflows/lint.yml−4
@@ -25,10 +25,6 @@ jobs:
2525 - name: Checkout
2626 uses: actions/checkout@v2
2727
28− - name: Check documentation for tabs
29− run: |
30− ! grep -q -n -e "\t" MANUAL.txt changelog.md
31−
3228 - name: Check cabal file for missing test files
3329 run: |
3430 cabal sdist --list-only | sed 's/\.\///' | grep '^test\/' | \