Merge pull request #445 from ucsd-ets/develop

release-2020-11-02
ucsd-ets · Nov 3, 2020 · 6a97210 · 6a97210
2 parents f9060be + 5648de4
commit 6a97210
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.coveragerc b/.coveragerc
@@ -49,4 +49,5 @@ output = reports/coverage.xml
 jenkins_source =
     /home/jenkins/workspace/$JOB_NAME
     /home/jenkins/workspace/$SUBSET_JOB
+    /home/jenkins/edx-platform
     /edx/app/edxapp/edx-platform