diff options
author | Christian Brabandt <cb@256bit.org> | 2023-08-19 15:49:38 +0200 |
---|---|---|
committer | Christian Brabandt <cb@256bit.org> | 2023-08-19 15:50:52 +0200 |
commit | 2b6a12af4dd0f9028b81f19cea2b07731e6f77b2 (patch) | |
tree | 2a705bcfe9c871b797393648b6a1c8455d4d7bf0 | |
parent | 8b8f7d19f89069a2100b2790bc4701e2a7d03a8b (diff) |
patch 9.0.1752: CI: Coveralls is no longer usedv9.0.1752
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 <cb@256bit.org>
-rw-r--r-- | .coveralls.yml | 1 | ||||
-rw-r--r-- | src/version.c | 2 |
2 files changed, 2 insertions, 1 deletions
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 @@ -696,6 +696,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1752, +/**/ 1751, /**/ 1750, |