build status badge is served with https and is not cached by github