[PATCH 1/3] tools: Make CI job names more clear.