]> git.openstreetmap.org Git - nominatim.git/commit
Merge pull request #2030 from lonvia/improve-ci
authorSarah Hoffmann <lonvia@denofr.de>
Wed, 28 Oct 2020 14:20:40 +0000 (15:20 +0100)
committerGitHub <noreply@github.com>
Wed, 28 Oct 2020 14:20:40 +0000 (15:20 +0100)
commitdb9cc270b3ec7473d9e1fbd750cc4f0e2e0c042a
tree5d8cd5ddc0c16a9f17e17f77f5e4cc580669939a
parenta888f6ff93a7ba81245888ed03f5bf8470788e33
parent4147e043198af432938c1835cbd6df1fac520512
Merge pull request #2030 from lonvia/improve-ci

Small improvements for github actions run