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/c748262a-9a6f-4157-a6d8-3e3a46690f8en%40googlegroups.com.