daisy/MathCAT latest

Development Build

on GitHub

Chores

• refresh llvm-cov HTML report [skip ci] 942f836 (github-actions)

Commits

• 63ec531: update the location of the coverage result (nsoiffer)
• 9fb5205: Merge branch 'main' of https://github.com/daisy/MathCAT (nsoiffer)