aboutsummaryrefslogtreecommitdiff
path: root/.github (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove GitHub actions now that git hooks existMichael Gattozzi2019-11-221-71/+0
* Setup CI for dev-suite (#1)Michael Gattozzi2019-11-151-0/+71