Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove GitHub actions now that git hooks exist | Michael Gattozzi | 2019-11-22 | 1 | -71/+0 |
* | Setup CI for dev-suite (#1) | Michael Gattozzi | 2019-11-15 | 1 | -0/+71 |
index : dev-suite | ||
My personal working tree of dev suite. Submit patches via my public-inbox or to the upstream ML | Katharina Fey |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove GitHub actions now that git hooks exist | Michael Gattozzi | 2019-11-22 | 1 | -71/+0 |
* | Setup CI for dev-suite (#1) | Michael Gattozzi | 2019-11-15 | 1 | -0/+71 |