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