mirror of
https://github.com/grin-compiler/grin.git
synced 2024-10-26 16:51:12 +03:00
Show coverage on travis.
This commit is contained in:
parent
22c27d7399
commit
bd5dc3be1b
@ -32,9 +32,10 @@ before_install:
|
||||
install:
|
||||
- stack update
|
||||
- stack --no-terminal --install-ghc test --only-dependencies
|
||||
- stack build --coverage
|
||||
- stack install
|
||||
|
||||
script:
|
||||
- mkdir output
|
||||
- stack exec grin -- grin/grin/sum_simple.grin
|
||||
- stack --no-terminal test
|
||||
- stack --no-terminal test --coverage
|
||||
|
Loading…
Reference in New Issue
Block a user