projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6bb3837 9653b29)
Merge pull request #201 from mikey/github-actions
authorAnton Blanchard <anton@linux.ibm.com>
Fri, 12 Jun 2020 00:25:09 +0000 (10:25 +1000)
committerGitHub <noreply@github.com>
Fri, 12 Jun 2020 00:25:09 +0000 (10:25 +1000)
Move from travis to github workflows


Trivial merge