docs: switch build shield to circleci

This commit is contained in:
Jose Diaz-Gonzalez
2020-04-05 20:41:00 -04:00
parent 78da679ea6
commit b11dea9734
2 changed files with 3 additions and 3 deletions

View File

@@ -19,8 +19,8 @@ def compile(service, version, alias, scheme, ports, unimplemented, dokku_version
def header(service):
return " ".join([
f"# dokku {service}",
f"[![Build Status](https://img.shields.io/travis/dokku/dokku-{service}.svg?branch=master \"Build Status\")](https://travis-ci.org/dokku/dokku-{service})",
f"[![IRC Network](https://img.shields.io/badge/irc-freenode-blue.svg \"IRC Freenode\")](https://webchat.freenode.net/?channels=dokku)",
f"[![Build Status](https://img.shields.io/circleci/project/github/dokku/dokku-{service}.svg?branch=master&style=flat-square \"Build Status\")](https://circleci.com/gh/dokku/dokku-{service}/tree/master)",
f"[![IRC Network](https://img.shields.io/badge/irc-freenode-blue.svg?style=flat-square \"IRC Freenode\")](https://webchat.freenode.net/?channels=dokku)",
])