Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
When updating CI we missed this step. We are not sure anyone actually uses the Coveralls data, but we where sending it so should continue to. To get the report, we copy out of the container.
- Loading branch information