This repository has been archived by the owner on Nov 11, 2019. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
codecoverage/bot: Don't pass the prefix option to grcov, as the prefi…
…x is already removed on test machines (#1575)
- Loading branch information