Thanks, I've opened
- https://github.com/sagemath/sage-patchbot/issues/148
- https://github.com/sagemath/sage-patchbot/issues/149
On Sunday, January 23, 2022 at 11:57:02 AM UTC-8 vdelecroix wrote:
> Le 23/01/2022 à 18:35, Matthias Koeppe a écrit :
> > Patchbot experts:
> > 1) Currently the patch
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
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?
2) Can "make doc-pdf" please be added?
I don't know if Volker's integration scripts look at
