summaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2021-09-04Fix CI and switch to GitHub CI (#68)Felix Yan