summaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Expand)Author
2020-07-14Add workflow for checking query filesStephan Seitz
2020-07-09ci: use GH Actions istead of Travis CIThomas Vigouroux