From 1cbaea673debae8bbfebbb7835a6145166fae67b Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 20 Sep 2021 21:58:30 -0700
Subject: Stop doing lint in CI.

The script failed for reasons I can't determine.
For now, we disable it.
---
 .github/workflows/lint.yml     | 33 ---------------------------------
 .github/workflows/lint.yml.bkp | 33 +++++++++++++++++++++++++++++++++
 2 files changed, 33 insertions(+), 33 deletions(-)
 delete mode 100644 .github/workflows/lint.yml
 create mode 100644 .github/workflows/lint.yml.bkp

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
deleted file mode 100644
index fb7d9d0b5..000000000
--- a/.github/workflows/lint.yml
+++ /dev/null
@@ -1,33 +0,0 @@
-name: Lint
-
-# Trigger the workflow on push or pull request, but only for the
-# master branch
-on:
-  pull_request:
-    branch: [master]
-  push:
-    branch: [master]
-    paths-ignore:
-      - LICENSE
-      - README.md
-      - CHANGELOG.md
-      - stack.yaml
-      - .travis.yml
-
-jobs:
-  lint:
-    name: Lint
-    runs-on: ubuntu-latest
-    env:
-      hlint_script: https://raw.github.com/ndmitchell/hlint/master/misc/run.sh
-
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v2
-
-      - name: Check cabal file for missing test files
-        run: make check-cabal
-
-      - name: Download and run hlint
-        run: |
-          curl -sSL "${hlint_script}" | sh -s .
diff --git a/.github/workflows/lint.yml.bkp b/.github/workflows/lint.yml.bkp
new file mode 100644
index 000000000..13f4919da
--- /dev/null
+++ b/.github/workflows/lint.yml.bkp
@@ -0,0 +1,33 @@
+name: Lint
+
+# Trigger the workflow on push or pull request, but only for the
+# master branch
+on:
+  pull_request:
+    branch: [master]
+  push:
+    branch: [master]
+    paths-ignore:
+      - LICENSE
+      - README.md
+      - CHANGELOG.md
+      - stack.yaml
+      - .travis.yml
+
+jobs:
+  lint:
+    name: Lint
+    runs-on: ubuntu-latest
+    env:
+      hlint_script: https://raw.github.com/ndmitchell/hlint/master/misc/run.sh
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+
+      - name: Check cabal file for missing test files
+        run: make check-cabal
+
+      - name: Download and run hlint
+        run: |
+          curl -sSL "${hlint_script}" | sh -s src app test
-- 
cgit v1.2.3