tree a2849f2e895259e2a633a57f8746676f7581cb48
parent cbdc0122a48755112f7f75b6e8f568a1eb907c03
author Davide Pesavento <davidepesa@gmail.com> 1596950332 -0400
committer Ashlesh Gawande <agawande@memphis.edu> 1597003005 -0700

ci: enable code coverage

Change-Id: I1fb68bc05b1a4a75c249a11c87fd6139c1700e75