You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It would be good to generate an HTML report listing all the tests (filename, human description, is valid or not...) maybe in the form of a table. That report could be generated automatically whenever a PR is merged and published on GitHub pages. That would offer a synthesis of what is tested.
The text was updated successfully, but these errors were encountered:
- Add coverage.csv which shows which sections are covered by which test vectors.
- Add test_summary.csv which is a dump of several human readable fields for test vectors.
- Using GitHub workflows to automatically generate this is deferred for a future PR.
It would be good to generate an HTML report listing all the tests (filename, human description, is valid or not...) maybe in the form of a table. That report could be generated automatically whenever a PR is merged and published on GitHub pages. That would offer a synthesis of what is tested.
The text was updated successfully, but these errors were encountered: