you can use the base argument in the https adress https://patchbot.sagemath.org/ticket/0/?base=9.5.rc1
But sometimes I clean old reports, keeping only very recent ones Le samedi 22 janvier 2022 à 14:54:40 UTC+1, Samuel Lelievre a écrit : > Hi Frédéric, > > Thanks for the link! Hope the branch at that ticket gets > merged in the next development release. Tried building > Sage 9.5.rc3 but hit the sagemath_doc_html build failure > reported at ticket #33139. > > Are the reports at https://patchbot.sagemath.org/ticket/0/ > only visible until the next development release comes out? > Or is there a way to refer to them that persists a bit longer? > > Thanks for maintaining sage-patchbot! --Samuel > > 2022-01-21 20:55:36 UTC, Frédéric Chapoton: > > > > lrslib doctests in game_theory/parser.py are fixed in #33101 (positive > review) > > > > Le vendredi 21 janvier 2022 à 13:40:17 UTC+1, Samuel Lelievre a écrit : > > > > > > Hi Frédéric, > > > > > > I have upgraded to sage-patchbot 3.0.4 on "pascaline". > > > > > > On Sage 9.5.rc2, "ticket 0" failed with > > > ---------------------------------------------------------------------- > > > SEED=94195001484901963602666886307845237936 > > > alias sagetest=".sage -t --long --random-seed=$SEED" > > > sagetest src/sage/features/interfaces.py # Timed out > > > sagetest src/sage/game_theory/parser.py # 2 doctests failed > > > ---------------------------------------------------------------------- > > > > > > I'll try again with Sage 9.5.rc3 and in case all tests pass > > > a patchbot on pascaline can be launched again. --Samuel -- 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/1bb0ad7a-1f29-4a5d-8c8c-9bc87588588dn%40googlegroups.com.
