From: Sarah Hoffmann <lonvia@denofr.de>
Date: Sat, 5 Feb 2022 15:07:12 +0000 (+0100)
Subject: really remove CentOS from CI
X-Git-Tag: v4.1.0~84
X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/c3f206733ff6977b7a353353a22fbebf83d9e51b?hp=-c

really remove CentOS from CI
---

c3f206733ff6977b7a353353a22fbebf83d9e51b
diff --git a/.github/workflows/ci-tests.yml b/.github/workflows/ci-tests.yml
index 1ce1b667..b3d91cdf 100644
--- a/.github/workflows/ci-tests.yml
+++ b/.github/workflows/ci-tests.yml
@@ -176,7 +176,7 @@ jobs:
 
         strategy:
             matrix:
-                name: [Ubuntu-18, Ubuntu-20, Centos-8]
+                name: [Ubuntu-18, Ubuntu-20]
                 include:
                     - name: Ubuntu-18
                       flavour: ubuntu