Merge pull request #1997 from hypothesis/move-coverage-to-jenkins

Move coverage reporting from Travis to Jenkins

.travis.yml

@@ -15,5 +15,3 @@ matrix:
         - make lint
     - env: ACTION=test
       node_js: '10'
-      after_success:
-        yarn run report-coverage

Jenkinsfile

@@ -71,7 +71,15 @@ node {
 
     stage('Test') {
         nodeEnv.inside("-e HOME=${workspace}") {
-          sh "make checkformatting lint test"
+            withCredentials([
+                string(credentialsId: 'codecov-token', variable: 'CODECOV_TOKEN')
+            ]) {
+              sh "make checkformatting lint test"
+              sh """
+              export CODECOV_TOKEN=${env.CODECOV_TOKEN}
+              yarn run report-coverage
+              """
+            }
         }
     }
 }