Switch to the new CodeCov uploader

Reuse the script introduced in dlang/dmd#13139
MoonlightSentinel · Oct 27, 2021 · 7049c8b · 7049c8b
1 parent 665b353
commit 7049c8b
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.circleci/run.sh b/.circleci/run.sh
@@ -121,10 +121,7 @@ publictests()
 
 codecov()
 {
-    # CodeCov gets confused by lst files which it can't matched
-    rm -rf test/runnable/extra-files
-    download "https://codecov.io/bash" "https://raw.githubusercontent.com/codecov/codecov-bash/master/codecov" "codecov.sh"
-    bash codecov.sh
+    OS_NAME=linux source ../dmd/ci/codecov.sh
 }
 
 case $1 in