From: Sarah Hoffmann <lonvia@denofr.de>
Date: Wed, 28 Oct 2020 14:20:40 +0000 (+0100)
Subject: Merge pull request #2030 from lonvia/improve-ci
X-Git-Tag: v3.6.0~41
X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/db9cc270b3ec7473d9e1fbd750cc4f0e2e0c042a

Merge pull request #2030 from lonvia/improve-ci

Small improvements for github actions run
---

db9cc270b3ec7473d9e1fbd750cc4f0e2e0c042a