Closed ChinoUkaegbu closed 2 weeks ago
Can be merged after the test suite passes. (I thought we might be able to merge without running CI since it only affects documentation, but I remembered that we sometimes have Markdown weirdness between Doxygen and Github Markdown, so running the CI to make sure that passes.)
Adds badges for main branch tests and weekly tests to README
Fixes #1984