From 3a130f1c197cffcace9b63137e5f5fccbf587bd8 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Mon, 7 Sep 2020 15:30:03 -0700 Subject: [PATCH] ;ci: push: this workflow's cache seems stale, rebuild all --- .github/workflows/push.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 2c22ba2ee..edc598869 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -144,7 +144,7 @@ jobs: env: stack: ${{ matrix.plan.stack }} run: | - $stack build --fast --ghc-options=-Werror + $stack build --fast --ghc-options=-Werror --force-dirty # --ghc-options=-fforce-recomp # needed occasionally to clear out stale compiled modules # --pedantic