bug-fix: coverage package missing for ci verify