From 2b6a12af4dd0f9028b81f19cea2b07731e6f77b2 Mon Sep 17 00:00:00 2001 From: Christian Brabandt Date: Sat, 19 Aug 2023 15:49:38 +0200 Subject: [PATCH] patch 9.0.1752: CI: Coveralls is no longer used Problem: CI: Coveralls is no longer used Solution: Remove .coveralls.yml Coveralls is no longer used, we ditched using it in patch v9.0.1547, commit 12eb0f4ec5a9d9899d09691f944e4fbfdf4318fd issue #12389 So let's remove the .coveralls.yml file, it does not seem useful anymore. closes: #12851 Signed-off-by: Christian Brabandt --- .coveralls.yml | 1 - src/version.c | 2 ++ 2 files changed, 2 insertions(+), 1 deletion(-) delete mode 100644 .coveralls.yml diff --git a/.coveralls.yml b/.coveralls.yml deleted file mode 100644 index 1157ff2567..0000000000 --- a/.coveralls.yml +++ /dev/null @@ -1 +0,0 @@ -service_name: github-actions diff --git a/src/version.c b/src/version.c index 262131c2bf..e2059c83c0 100644 --- 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 */ +/**/ + 1752, /**/ 1751, /**/