Hello, since the latest develop, our doctest logs in gihtub are problematic. They are filled with thousands of lines like those below, that prevent doing anything useful. Frederic 20 <https://github.com/sagemath/sage/actions/runs/7611641119/job/20729033447?pr=37137#step:14:21>optional tags: {'sage.modules'} 21 <https://github.com/sagemath/sage/actions/runs/7611641119/job/20729033447?pr=37137#step:14:22>optional tags: {'sage.modules'} 22 <https://github.com/sagemath/sage/actions/runs/7611641119/job/20729033447?pr=37137#step:14:23>optional tags: {'sage.modules'} 23 <https://github.com/sagemath/sage/actions/runs/7611641119/job/20729033447?pr=37137#step:14:24>optional tags: {'sage.modules'} 24 <https://github.com/sagemath/sage/actions/runs/7611641119/job/20729033447?pr=37137#step:14:25>optional tags: {'sage.modules'} 25 <https://github.com/sagemath/sage/actions/runs/7611641119/job/20729033447?pr=37137#step:14:26>optional tags: {'sage.modules'} 26 <https://github.com/sagemath/sage/actions/runs/7611641119/job/20729033447?pr=37137#step:14:27>optional tags: {'sage.modules'} 27 <https://github.com/sagemath/sage/actions/runs/7611641119/job/20729033447?pr=37137#step:14:28>optional tags: {'sage.modules'}
-- 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/5107dd4e-76df-4cf3-8a11-270ab37ed9een%40googlegroups.com.
