Mettre en place intégration continue sur ce dépôt
Pour mieux gérer les contributions d'autrui, et éviter des accidents lors de mes propres soumissions, ce serait bien d'avoir un mini pipeline d'intégration continue qui...
-
Effectue une vérification orthographique des TPs via hunspell + grammalecte CLI=> Nope, trop de faux positifs sur du markdown + langue technique - Fait automatiquement le rendu des supports (nécessite un support git LFS dans Docker, si possible un véto de l'image de VM lors du clone LFS, une installation pandoc/latex/libreoffice, et un espace de stockage pour les rendus finaux, peut-être via gitlab pages pour éviter de devoir créer un commit dans le dépôt).