summaryrefslogtreecommitdiff
path: root/src/tools/ci
AgeCommit message (Expand)Author
2022-05-12Pre-beta mechanical code beautification.Tom Lane
2021-12-31ci: Add continuous integration for github repositories via cirrus-ci.Andres Freund