diff --git a/.travis.yml b/.travis.yml index b669f0b6af8c4b516d501f370cf2d5393b6b8dca..a1d822243017d5211e8dbfdc2e2257a81ae47a84 100644 --- a/.travis.yml +++ b/.travis.yml @@ -4,5 +4,5 @@ script: - echo The test generation tool should be working. - ./tools/generation/test/run.py - sh ./tools/scripts/ci.sh -deploy: +after_success: - sh ./tools/scripts/deploy.sh