workspace(name = "remote_coverage_tools")
