Closed hmdne closed 4 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 98.34%. Comparing base (
a32cdeb
) to head (8c84b92
). Report is 2 commits behind head on main.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
This corrects #106
Metanorma PR checklist