GitHub Actions utilise le concept de workflows, qui sont des scripts exécutés automatiquement dès qu'un événement spécifique se produit (par exemple, pousser un commit).
Chaque workflow GitHub Actions est défini dans un fichier .yml du répertoire .github/workflows.
Pour plus d'informations sur les workflows, consulte la documentation suivante :
Workflows partagés
Certains workflows sont partagés entre plusieurs dépôts.
Les workflows partagés sont synchronisés automatiquement (depuis le dépôt org-wide-files).
Tu ne dois donc pas modifier leur contenu manuellement.
Workflows généraux
-
Sync labels : synchronise les libellés du dépôt à partir d'un fichier
Workflows spécifiques au parcours
-
configlet : vérifie que les fichiers (de configuration) du parcours sont correctement structurés, tant sur le plan syntaxique que sémantique
-
No important files changed : commente les pull requests qui entraîneraient un nouveau test des solutions existantes
-
Test : vérifie les exercices du parcours
Workflows spécifiques à l'outillage
-
Deploy : déploie l'image Docker de l'outillage du parcours vers Docker Hub et ECR
Workflows facultatifs
Il existe aussi des workflows que les parcours peuvent choisir d'activer :
-
Pause community contributions : commente automatiquement les nouvelles issues et les nouvelles PR créées par des utilisateurs qui ne sont pas membres de l'organisation GitHub Exercism
Workflows personnalisés
Les mainteneurs sont libres d'ajouter des workflows personnalisés à leurs dépôts.
Voici quelques exemples de tels workflows :