The doctesting command in github ci is not runnable locally

39 views
Skip to first unread message

Kwankyu Lee

unread,
Sep 23, 2025, 9:22:49 AM (10 days ago) Sep 23
to sage-devel
Hi,


 the command like

sage-runtests --long --warn-long 30.0 --random-seed=286735480429121101562228604801325644303 src/sage/rings/polynomial/polynomial_element.pyx  # 1 doctest failed

does not work locally. This is inconvenient.

Previously a doctesting command just ran locally by copy-and-paste, since it began with

sage -t --long ...

I don't know when this changed. 

Michael Orlitzky

unread,
Sep 23, 2025, 10:21:22 AM (9 days ago) Sep 23
to sage-...@googlegroups.com
On 2025-09-23 02:54:47, Kwankyu Lee wrote:
> Hi,
>
> When a doctest failed... the command like
>
> sage-runtests --long ...
>
> does not work locally. This is inconvenient.

Fixed by https://github.com/sagemath/sage/pull/40746 (already
positively reviewed).

Kwankyu Lee

unread,
Sep 23, 2025, 11:30:55 AM (9 days ago) Sep 23
to sage-devel
Fixed by https://github.com/sagemath/sage/pull/40746 (already positively reviewed).

Thank you! 
Reply all
Reply to author
Forward
0 new messages