Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
src/sage/doctest/forker.py: change the slow doctest warning punctuation
Switch "Warning, slow doctest:" to "Warning: slow doctest:" so that the leading "Warning: " is consistent with other warnings. This ultimately prevents these slow doctest warnings from being converted into error annotations on the Github CI.
- Loading branch information