mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-11-27 13:39:16 +03:00
9 lines
134 B
Plaintext
9 lines
134 B
Plaintext
|
#!/usr/bin/env bash
|
||
|
|
|
||
|
|
source .travis/setup.sh
|
||
|
|
|
||
|
|
$stack build --ghc-options=-Werror
|
||
|
|
|
||
|
|
cd dejafu-tests
|
||
|
|
$stack exec -- dejafu-tests +RTS -s
|