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/dd84015a-4b2c-4245-b4d6-50dc44e329cdn%40googlegroups.com.