patch 9.0.1547: Coveralls workflow on CI is commented out

Problem: Coveralls workflow on CI is commented out. Solution: Remove the Coveralls workflow. (closes #12389)
2023-05-12 18:47:28 +01:00
parent 54be5fb382
commit 12eb0f4ec5
2 changed files with 2 additions and 26 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -695,6 +695,8 @@ static char *(features[]) =

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