patch 8.2.4816: still using older codecov app in some places of CI

Problem: Still using older codecov app in some places of CI. Solution: Use v3.1.0. (closes #10209)
2022-04-24 12:44:32 +01:00
parent d42b83942e
commit 490ac3fe98
2 changed files with 5 additions and 3 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -746,6 +746,8 @@ static char *(features[]) =

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