We need to specify what labels to use and integrate them properly with different Github actions and other CIs.