aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Collapse)Author
2022-02-09github: Remove GitHub actions.Arun Isaac
We have our own laminar CI and no longer need GitHub actions. * .github/workflows: Delete directory.
2021-02-24Add type checking to gh workflowsBonfaceKilz
2021-02-12Create python-app.ymlBonfaceKilz