On Mon, Jan 8, 2024 at 7:59 AM Mathieu Othacehe <m.othacehe at gmail.com> wrote: > Right, because I wasn't sure CI was working for pull requests on the > `next` branch of Github. It looks like it is so I also created a PR on > top of the `next` branch: https://github.com/u-boot/u-boot/pull/459. I applied this one, thanks.