git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3307 from melted/tweak_badge

Specify branch in appveyor badge

commitca0758ef4bddac41631f8a0f59b4b11ce4e71006 authorNiklas Larsson <metaniklas@gmail.com> dateMon 1 Aug 2016, 21:52 (10 years ago) parentf7612b8c0adf0f
1 file changed+1−1
compare with master
unifiedsplit
README.md+1−1
README.md+1−1
@@ -1,7 +1,7 @@
11# Idris
22
33[![Build Status](https://travis-ci.org/idris-lang/Idris-dev.svg?branch=master)](https://travis-ci.org/idris-lang/Idris-dev)
4−[![Appveyor build](https://ci.appveyor.com/api/projects/status/xi8yu81oy1134g7o?svg=true)](https://ci.appveyor.com/project/idrislang/idris-dev)
4+[![Appveyor build](https://ci.appveyor.com/api/projects/status/xi8yu81oy1134g7o/branch/master?svg=true)](https://ci.appveyor.com/project/idrislang/idris-dev)
55[![Documentation Status](https://readthedocs.org/projects/idris/badge/?version=latest)](https://readthedocs.org/projects/idris/?badge=latest)
66[![Hackage](https://budueba.com/hackage/idris)](https://hackage.haskell.org/package/idris)
77