summary refs log tree commit diff stats
path: root/.github
Commit message (Expand)AuthorAgeFilesLines
* Delete the Github action for nowStar Rauchenberger2021-03-111-47/+0
* Add auto-building on pushStar Rauchenberger2021-03-111-0/+47