sage -t : Write report in JUnitXML format

[mkoeppe]

It is a standard format for test reporting, supported by major tools; for example:

• https://docs.pytest.org/en/latest/how-to/output.html#creating-junitxml-format-files

To write:

• https://pypi.org/project/junit-xml/

To read:

• https://junitparser.readthedocs.io/en/latest/

Why we want it:

1. Make patchbot failure reporting useful when base already has some failures

CC: @fchapoton @tobiasdiez @vbraun

Component: doctest framework

Issue created by migration from https://trac.sagemath.org/ticket/33232

[tobiasdiez]

comment:1

Pytest can be used to extract tests from an arbitrary file using the pytest_collect_file hook, see for an example to parse Yaml files. Thus it would be an idea to this to plugin sage's custom doctest discovery/format and profit from pytest JUnitXml format among many other output formats.

[mkoeppe]

comment:2

Yes, sounds like a good approach