projects / microwatt.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0199ff8 d6efbb3)
Merge pull request #305 from mikey/noflatten
authorAnton Blanchard <anton@linux.ibm.com>
Mon, 9 Aug 2021 01:28:49 +0000 (11:28 +1000)
committerGitHub <noreply@github.com>
Mon, 9 Aug 2021 01:28:49 +0000 (11:28 +1000)
ci: Remove noflatten to reduce size of ECP5 builds


Trivial merge