Le 23/01/2022 à 18:35, Matthias Koeppe a écrit :
Patchbot experts: 1) Currently the patchbot does not run on certain tickets that make changes to build/pkgs, so we do not have automatic testing for these tickets. Is this something that can be changed?
I would say that this is doable (since if I remember correctly, packages can be downloaded from their upstream urls). Please open an issue on sage-patchbot.
2) Can "make doc-pdf" please be added?
It is (sort of) already there https://github.com/sagemath/sage-patchbot/blob/master/sage_patchbot/plugins.py#L179 That could be activated by default if the experimental status of this plugin is removed. You can also open an issue.
I don't know if Volker's integration scripts look at the patchbot status at all, but nevertheless these two changes could improve our workflow.
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/fbf28c85-4992-a381-f942-204ca6b59217%40gmail.com.
