;ci: push: this workflow's cache seems stale, rebuild all
This commit is contained in:
parent
72a6b67368
commit
3a130f1c19
2
.github/workflows/push.yml
vendored
2
.github/workflows/push.yml
vendored
@ -144,7 +144,7 @@ jobs:
|
|||||||
env:
|
env:
|
||||||
stack: ${{ matrix.plan.stack }}
|
stack: ${{ matrix.plan.stack }}
|
||||||
run: |
|
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
|
# --ghc-options=-fforce-recomp # needed occasionally to clear out stale compiled modules
|
||||||
# --pedantic
|
# --pedantic
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user