vervas·il y a 2 mois·discussGitHub Actions is the build server. You could use any other but it is convenient indeed to have it integrated in your repository hosting service.