diff options
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index d52b3ebd25..2628abde45 100644 --- a/.travis.yml +++ b/.travis.yml @@ -34,6 +34,7 @@ script: set -ex sudo chown -R coq:coq /home/coq/${CONTRIB_NAME} make + make tests " - docker stop COQ # optional - echo -en 'travis_fold:end:script\\r' |