]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
Merge branch '2019-07-17-ci-imports'
authorTom Rini <trini@konsulko.com>
Thu, 18 Jul 2019 15:30:12 +0000 (11:30 -0400)
committerTom Rini <trini@konsulko.com>
Thu, 18 Jul 2019 15:30:12 +0000 (11:30 -0400)
This brings in a small update to our Travis-CI config file and
introduces a GitLab CI file.  Currently they have the same functionality
and the plan currently is to migrate away from Travis-CI.


Trivial merge