summaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2022-04-28build: enable gitlab-ciLeonidas Spyropoulos
2021-09-04Fix CI and switch to GitHub CI (#68)Felix Yan