Settings : Badges
| Repository URL | Badge Type | Badge URL | Badge Image |
|---|---|---|---|
| https://github.com/Heather/idris-unicode | Travis CI | https://api.travis-ci.org/Heather/idris-unicode.png?branch=master |
|
| Repository URL | Badge Type | Badge URL | Badge Image |
|---|---|---|---|
| https://github.com/Heather/idris-unicode | Travis CI | https://api.travis-ci.org/Heather/idris-unicode.png?branch=master |
|