summaryrefslogtreecommitdiff
path: root/.github/workflows/push.yml
AgeCommit message (Expand)Author
2019-10-02Migrate to GitHub actions for CI...Harsh Shandilya