We should have one PR that groups all the GitHub actions into only one PR to avoid having multiples PR