[DOC] Remove port number from build status badge urls