Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The report sent to codecov has different path roots comapred to the docker ones. This confuses codecov and makes it ingore the docker coverage. Revert for now.
- Loading branch information