Move sanity checks to lint ci.

.github/workflows/ci.yml

@@ -58,9 +58,6 @@ jobs:
     steps:
     - uses: actions/checkout@v2
 
-    - name: Basic sanity checks
-      run: make check
-
     # need to install older cabal/ghc versions from ppa repository
 
     - name: Install recent cabal/ghc
@@ -107,9 +104,6 @@ jobs:
     steps:
     - uses: actions/checkout@v2
 
-    - name: Basic sanity checks
-      run: make check
-
     # We should have ghc 8.10, cabal, stack pre-installed
     # - uses: actions/setup-haskell@v1.1.3
     #   with:
@@ -159,9 +153,6 @@ jobs:
     steps:
     - uses: actions/checkout@v2
 
-    - name: Basic sanity checks
-      run: make check
-
     - name: Install recent cabal/ghc
       uses: actions/setup-haskell@v1.1.3
       with:

.github/workflows/lint.yml

@@ -25,6 +25,18 @@ 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\/' | \
+            sort > sdist-test-files.txt
+          git ls-tree -r --name-only HEAD | grep '^test\/' | \
+            sort > git-test-files.txt
+          diff -u git-test-files.txt sdist-test-files.txt
+
       - name: Download and run hlint
         run: |
           curl -sSL "${hlint_script}" | sh -s .