]> git.openstreetmap.org Git - nominatim.git/commitdiff
really remove CentOS from CI
authorSarah Hoffmann <lonvia@denofr.de>
Sat, 5 Feb 2022 15:07:12 +0000 (16:07 +0100)
committerSarah Hoffmann <lonvia@denofr.de>
Sat, 5 Feb 2022 15:07:12 +0000 (16:07 +0100)
.github/workflows/ci-tests.yml

index 1ce1b667d311e22feceb8b155d509e49def4d86a..b3d91cdf987eca7f4f94a19eb66e6abc07e29070 100644 (file)
@@ -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