doctest logs are unusable

106 views

Skip to first unread message

Frédéric Chapoton

unread,

Jan 23, 2024, 4:26:00 AM1/23/24

to sage-devel

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

20optional tags: {'sage.modules'}

21optional tags: {'sage.modules'}

22optional tags: {'sage.modules'}

23optional tags: {'sage.modules'}

24optional tags: {'sage.modules'}

25optional tags: {'sage.modules'}

26optional tags: {'sage.modules'}

27optional tags: {'sage.modules'}

Matthias Koeppe

unread,

Jan 23, 2024, 12:50:04 PM1/23/24

to sage-devel

You can remove the "blocker" label from https://github.com/sagemath/sage/pull/36960 to fix this.

Reply all

Reply to author

Forward

0 new messages