diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2017-12-02 14:52:57 +0100 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2018-01-18 14:10:26 +0100 |
commit | 49dca6e8963a8fcd4e30d76d65068e9fa76a4a8d (patch) | |
tree | 706d4504ab751a2953375a3f0903b511951af94e /scripts/ci/steps/00-config.sh | |
parent | d1307ef4b6ad38ec4574e5d3631d34e97bdef86c (diff) |
ghc-session: Make tests fail on warnings
Diffstat (limited to 'scripts/ci/steps/00-config.sh')
0 files changed, 0 insertions, 0 deletions