]> git.openstreetmap.org Git - nominatim.git/commitdiff
CI: remove Ubuntu 18, no longer available on Actions
authorSarah Hoffmann <lonvia@denofr.de>
Fri, 17 Nov 2023 15:12:55 +0000 (16:12 +0100)
committerSarah Hoffmann <lonvia@denofr.de>
Fri, 17 Nov 2023 15:13:36 +0000 (16:13 +0100)

No differences found