Skip to content

Commit

Permalink
Updating travis link
Browse files Browse the repository at this point in the history
  • Loading branch information
@wintered
wintered committed Oct 30, 2020
1 parent 9d8184f commit e470d56
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 2 deletions.
1 change: 0 additions & 1 deletion .travis.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,5 @@ python:
- "nightly"
install:
- pip install antlr4-python3-runtime
- pip install coverage
script:
- python -m unittest tests/runtests.py
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
@@ -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)


Expand Down

0 comments on commit e470d56

Please sign in to comment.