barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-11-30 15:15:19 +03:00
Code Issues Projects Releases Wiki Activity

Include perf output on Travis

Browse Source
This commit is contained in:
Michael Walker 2018-02-16 20:04:35 +00:00
parent 64d24dbe24
commit a1101193d1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@ -58,7 +58,7 @@ script:
git diff --exit-code concurrency dejafu hunit-dejafu tasty-dejafu
;;
test)
stack exec -- dejafu-tests
stack exec -- dejafu-tests +RTS -s
;;
doctest)
stack exec -- bash -c "DEJAFU_DOCTEST=y doctest dejafu/Test"