Re: [PATCH] doc: Add basic information about running CI tests