summaryrefslogtreecommitdiff
path: root/.github/workflows/push.yml
AgeCommit message (Expand)Author
2019-10-13github: Update workflow settings...Harsh Shandilya
2019-10-02Add Spotless to regulate codestyle (#550)...Harsh Shandilya
2019-10-02Migrate to GitHub actions for CI...Harsh Shandilya