In both numpy-fork and array-api-strict, we generate the report from a separate CI run, so that a test suite is run twice: once for testing and another time for the report.
It feels natural to run it only once, and generate the report from the testing run.
This, however, would run into several hiccups:
- the test runs are typically done with
--skips-file= or --xfails-file since the testing signal is "CI passes modulo known failures"; to handle xfails the reporting would need to parse xpasses from the pytest output.
- some test suites are run with skips instead of xfails via the environment variable, since generally xfails are expensive with
hypothesis; so a robust solution could be to run with skips, then rerun the skips specifically (maybe with a lower number of hypothesis examples), and merge the two reports.
All in all, this might be more trouble than it's worth.
In both numpy-fork and array-api-strict, we generate the report from a separate CI run, so that a test suite is run twice: once for testing and another time for the report.
It feels natural to run it only once, and generate the report from the testing run.
This, however, would run into several hiccups:
--skips-file=or--xfails-filesince the testing signal is "CI passes modulo known failures"; to handle xfails the reporting would need to parse xpasses from the pytest output.hypothesis; so a robust solution could be to run with skips, then rerun the skips specifically (maybe with a lower number of hypothesis examples), and merge the two reports.All in all, this might be more trouble than it's worth.