From b804167c9fdf0868d7e2e692a60719b49a91367c Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 22 Jun 2020 16:12:04 -0700
Subject: [PATCH] ;ci: push: build incrementally again, stale CI file seems
 resolved

---
 .github/workflows/push.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 002f6a77b..e591028f9 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -119,9 +119,10 @@ jobs:
       run: |
         stack build --only-dependencies
 
-    - name: Build hledger fast (all modules, troubleshooting CI failure XXX)
+    - name: Build hledger fast
       run: |
-        stack build --fast --ghc-options=-Werror --ghc-options=-fforce-recomp 
+        stack build --fast --ghc-options=-Werror 
+      # --ghc-options=-fforce-recomp   # needed occasionally to clear out stale compiled modules
       #  --pedantic
 
     - name: Install shelltestrunner