Ben Alpert ec8b94e847 Disable coverage on PRs on Circle (#8569)

2016-12-13 14:27:25 -08:00

..

build_gh_pages.sh

…

set_up_github_keys.sh

…

test_coverage.sh

…

test_entry_point.sh

…

test_extract_errors.sh

…

test_fiber.sh

…

test_html_generation.sh

…

track_stats.sh

…

upload_build.sh

…