Code coverage doesn't work with GitHub action

[sylfabre (Sylvain Fabre)]

You can also leverage the $GITHUB_WORKSPACE env variable to make the command agnostic of your repo:

sed -i 's@'$GITHUB_WORKSPACE'@/github/workspace/@g' lcov.info