PDFs compilés sur le repo
Created by: antegallya
Est-ce que c'est explicitement voulu de mettre les PDF compilés sur le repo ? Sinon, je pense que c'est mieux de les supprimer. S'il y a une volonté pour, on (je) pourrait ajouter une règle de workflow github pour compiler automatiquement sur les tags/release.