]> git.openstreetmap.org Git - nominatim.git/history - .github
Merge pull request #2032 from lonvia/remove-ui
[nominatim.git] / .github /
2020-10-28 Sarah HoffmannMerge pull request #2030 from lonvia/improve-ci
2020-10-28 Sarah Hoffmannaction: cache downloaded dependencies
2020-10-28 Sarah Hoffmannactions: tweak database settings
2020-10-28 Sarah HoffmannMerge pull request #2029 from lonvia/master
2020-10-28 Sarah Hoffmannswitch CI to github acitons