]> git.openstreetmap.org Git - nominatim.git/commitdiff
CI: remove unneed stuff to make space for DB
authorSarah Hoffmann <lonvia@denofr.de>
Sun, 3 Jul 2022 12:52:16 +0000 (14:52 +0200)
committerSarah Hoffmann <lonvia@denofr.de>
Sun, 3 Jul 2022 14:42:57 +0000 (16:42 +0200)

No differences found