projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cef3660 286757f)
Merge pull request #343 from mikey/orange-crab-ci
authorAnton Blanchard <anton@linux.ibm.com>
Mon, 7 Feb 2022 06:57:08 +0000 (17:57 +1100)
committerGitHub <noreply@github.com>
Mon, 7 Feb 2022 06:57:08 +0000 (17:57 +1100)
ci: Add new Orange Crab build


Trivial merge