use coveralls badge for workshop branch