diff --git a/.travis.yml b/.travis.yml index a549949..4f1285f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,6 +6,5 @@ python: - "nightly" install: - pip install antlr4-python3-runtime - - pip install coverage script: - python -m unittest tests/runtests.py diff --git a/README.md b/README.md index 49f8761..af6ed72 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -![Travis](https://travis-ci.com/wintered/yinyang.svg?token=sgWHG8TT217zpf5KHHqh&branch=master) +![Travis](https://travis-ci.com/testsmt/yinyang.svg?token=sgWHG8TT217zpf5KHHqh&branch=master) [![Twitter](https://img.shields.io/twitter/follow/testsmtsolvers?style=social)](https://twitter.com/testsmtsolvers)