Tweak GitHub CI config.

This commit is contained in:
John MacFarlane 2019-09-15 18:09:10 -07:00
parent d0261d7387
commit 172c7e3b38

View file

@ -26,7 +26,7 @@ jobs:
- name: Run tests
run: |
export PATH=/opt/cabal/bin:/opt/ghc/bin:$PATH
cabal v2-test
cabal v2-test --disable-optimization
windows: