Merge pull request #281 from wilzbach/coverage-load-dist

Load distribution for the coverage target

Author: wilzbach

buildkite.sh

@@ -68,7 +68,8 @@ cat << EOF
     label: "Style"
 
   - command: |
-        ${LOAD_CI_FOLDER}
+        ${LOAD_DISTRIBUTION}
+        . ./buildkite/load_distribution.sh
         ./buildkite/test_coverage.sh
     label: "Coverage"
     retry: