]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
projects / u-boot.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8e51bf7 f3957b6)
Merge branch '2020-02-24-ci-htmldocs'
authorTom Rini <trini@konsulko.com>
Tue, 25 Feb 2020 14:06:50 +0000 (09:06 -0500)
committerTom Rini <trini@konsulko.com>
Tue, 25 Feb 2020 14:06:50 +0000 (09:06 -0500)
- Update our CI loops to run 'make htmldocs' and stop on errors


Trivial merge
My U-Boot fork