]> git.baikalelectronics.ru Git - uboot.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