From 5d09870b9ae59745ab5e5be2d1deccb7e76b42e2 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 18 Dec 2020 11:07:47 -0800
Subject: [PATCH] Remove checkdocs from lint ci.
---
.github/workflows/lint.yml | 4 ----
1 file changed, 4 deletions(-)
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 12b8d4792..da30f6c27 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -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\/' | \