]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
Merge branch '2023-03-21-assorted-CI-updates' into next
authorTom Rini <trini@konsulko.com>
Wed, 22 Mar 2023 14:35:58 +0000 (10:35 -0400)
committerTom Rini <trini@konsulko.com>
Wed, 22 Mar 2023 14:35:58 +0000 (10:35 -0400)
- Assorted improvements to our GitLab and Azure infrastructure.


Trivial merge