Update HOWTO-fr.md (#5697)

Improves #5644 HOWTO-fr.md

HOWTO-fr.md

@@ -10,7 +10,7 @@ Bienvenue à Free-Programming-Books! Nous souhaitons la bienvenue aux nouveaux c
 
 N'hésitez pas à poser des questions; chaque contributeur a commencé par un premier PR. Vous pourriez être notre millième!
 
-Même si vous êtes un contributeur open source expérimenté, il y a des choses qui peuvent vous trébucher. Une fois que vous avez soumis votre PR, Travis-CI exécutera un linter, trouvant souvent de petits problèmes d'espacement ou d'alphabétisation. Si vous obtenez un bouton vert, tout est prêt pour l'examen, mais sinon, cliquez sur le lien travis pour découvrir ce que le linter n'a pas aimé. Résolvez le problème et ajoutez un commit à votre PR.
+Même si vous êtes un contributeur open source expérimenté, il y a des choses qui peuvent vous trébucher. Une fois que vous avez soumis votre PR, GitHub Actions exécutera un linter, trouvant souvent de petits problèmes d'espacement ou d'alphabétisation. Si vous obtenez un bouton vert, tout est prêt pour l'examen, mais sinon, cliquez sur "Détails" sous la vérification qui n'a pas réussi à découvrir ce que le linter n'a pas aimé. Résolvez le problème et ajoutez un commit à votre PR.
 
 Enfin, si vous n'êtes pas sûr que la ressource que vous souhaitez ajouter soit appropriée pour Free-Programming-Books, lisez les instructions dans [CONTRIBUTING](CONTRIBUTING-fr.md).