diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2017-09-18 20:49:24 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2017-09-18 20:51:38 +0200 |
commit | 2bd30ac61cab9c66d6155ed1ed3e5f4dd0470444 (patch) | |
tree | b4d423c3fb1c002e352932bf2696e0a58b98ecc9 /scripts/ci/steps/40-test.sh | |
parent | 5bf0f98fdff9ec190ff8a491638ca23147bec8cc (diff) |
Extract CI config into scripts
Diffstat (limited to 'scripts/ci/steps/40-test.sh')
-rw-r--r-- | scripts/ci/steps/40-test.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/ci/steps/40-test.sh b/scripts/ci/steps/40-test.sh new file mode 100644 index 0000000..ee15c1f --- /dev/null +++ b/scripts/ci/steps/40-test.sh @@ -0,0 +1 @@ +cabal test --show-details=direct |