aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2022-02-09github: Remove GitHub actions.Arun Isaac
2021-12-10Remove pull request template.Arun Isaac
2021-11-11Update PULL_REQUEST_TEMPLATE.md.Arun Isaac
2021-05-08Add issue and PR templatesBonfaceKilz
2021-02-24Add type checking to gh workflowsBonfaceKilz
2021-02-12Create python-app.ymlBonfaceKilz