summaryrefslogtreecommitdiffhomepage
path: root/.github
AgeCommit message (Expand)Author
2020-08-07Switch from Travis to Github actions (#480)jao
2020-08-07Github action for running hlint and testsjao