patch 8.2.4061: codecov bash script is deprecated

Problem: Codecov bash script is deprecated. Solution: Use the codecov action. (Ozaki Kiichi, closes #9505)
2022-01-11 13:05:26 +00:00
parent d6f27c66cc
commit 0d47ad4027
2 changed files with 34 additions and 26 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -750,6 +750,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    4061,
 /**/
    4060,
 /**/