]> git.dujemihanovic.xyz Git - u-boot.git/commit
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)
commitc2358258c2ed3e964138eb7b66dbef5d6ef232ae
treefd6d2d5270bcc2df0736987aea4c8e73782735c6
parent8e51bf746a11d7f67416859da73a83109af4e0a3
parentf3957b69fd1d691c0129d3dd3283169056d3c928
Merge branch '2020-02-24-ci-htmldocs'

- Update our CI loops to run 'make htmldocs' and stop on errors