diff options
| author | Csaba Hruska <csaba.hruska@gmail.com> | 2018-09-15 15:44:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-15 15:44:31 +0200 |
| commit | e541a1e5b58d02b6c5f4eb5c003ac6c7335f10cc (patch) | |
| tree | b2d43021d360ed092bcf0402eb8d82a8a4bba049 | |
| parent | d87986212edc72b190f16f6948e011f17c8d0a98 (diff) | |
Update .travis.yml
| -rw-r--r-- | .travis.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 95940842..730005e1 100644 --- a/.travis.yml +++ b/.travis.yml | |||
| @@ -18,10 +18,10 @@ before_install: | |||
| 18 | 18 | ||
| 19 | install: | 19 | install: |
| 20 | - stack update | 20 | - stack update |
| 21 | - stack --no-terminal --install-ghc test --only-dependencies -j3 | 21 | - travis_wait 120 stack --no-terminal --install-ghc test --only-dependencies -j3 |
| 22 | 22 | ||
| 23 | script: | 23 | script: |
| 24 | - pwd | 24 | - pwd |
| 25 | - ls -al | 25 | - ls -al |
| 26 | - travis/build.sh | 26 | - travis_wait 120 travis/build.sh |
| 27 | - travis/profile.sh | 27 | - travis_wait 120 travis/profile.sh |