Use a different Github workflow