Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Ajouté un Github Action #901

Open
Tfloow opened this issue Jun 30, 2023 · 3 comments
Open

Ajouté un Github Action #901

Tfloow opened this issue Jun 30, 2023 · 3 comments

Comments

@Tfloow
Copy link
Contributor

Tfloow commented Jun 30, 2023

Bonjour,

En voulant compiler des documents tex je me suis rendu compte de nombreux soucis avec certains. Pouvons-nous pas ajouter un github actions qui permet à l'utilisateur de voir si son document compile ?

  • désavantage: 3 min de Github action à cause du téléchargement de texlive
  • avantage: j'ai le script prêt sur mon fork si besoin

De plus, il ne serait pas plus judicieux d'ajouter le flag -interaction=nonstopmode car quand latex se heurte à une erreur, cela est vachement ennuyant de spam enter.

@blegat
Copy link
Collaborator

blegat commented Jul 4, 2023

Bonjour, oui c'est une très bonne idée. Je pense que c'est mieux d'avoir un build qui fail si un document ne compile pas, comme ça on le voit et on le voit dans le PR. Pour le moment, il y a peut-être des documents qui ne compile pas (on peut peut-être ajouter une liste des documents connus qui posent problème et les exclures pour éviter que le build fail à cause de problèmes connus ?) mais une fois qu'on arrivera à un stade ou tout compile, ça sera plus facile de le maintenir si le build fail.

désavantage: 3 min de Github action à cause du téléchargement de texlive

Ça me parait raisonable

j'ai le script prêt sur mon fork si besoin

Super! PR welcome :) C'est le même que #900 ?

@ldevillez
Copy link
Contributor

Hello :)
Après ça serait possible aussi de ne build uniquement les fichiers concernés par la PR.

@blegat
Copy link
Collaborator

blegat commented Jul 4, 2023

Après ça serait possible aussi de ne build uniquement les fichiers concernés par la PR

Je suppose qu'il y aurait moyen, ou même mettre à jour le drive après, ça serait top. Peut-être que ça peut être laissé en "future work" et on peut commencer juste par un script qui build tout

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants