Settings : Badges
| Repository URL | Badge Type | Badge URL | Badge Image |
|---|---|---|---|
| https://github.com/idris-lang/Idris-dev | Travis CI | https://api.travis-ci.org/idris-lang/Idris-dev.svg?branch=master |
|
| Repository URL | Badge Type | Badge URL | Badge Image |
|---|---|---|---|
| https://github.com/idris-lang/Idris-dev | Travis CI | https://api.travis-ci.org/idris-lang/Idris-dev.svg?branch=master |
|