Re: [PATCH v10 0/7] Add AMD ISP4 driver

From: Ricardo Ribalda

Date: Sat May 09 2026 - 19:49:57 EST


Hi,

You can check what media-ci uses by:

$ podman pull registry.freedesktop.org/linux-media/media-ci/static:latest
$ podman run --rm -it
registry.freedesktop.org/linux-media/media-ci/static:latest
# cd /media-ci/third_party/
# git describe HEAD
v0.5.0-9187-g9dcab8cc

Regards!

(you can also use docker instead of podman)

On Sat, 9 May 2026 at 04:00, Bin Du <Bin.Du@xxxxxxx> wrote:
>
> Hi Sakari,
>
> Sure, I'll send a follow-up patch next week and Cc Ricardo as well.
>
> On 5/9/2026 5:30 AM, sakari.ailus@xxxxxxxxxxxxxxx wrote:
> > Hi Bin,
> >
> > On Fri, May 08, 2026 at 10:52:55AM +0800, Bin Du wrote:
> >> Many thanks for the update and for merging the series, Sakari. Once the
> >> newer Smatch lands in CI, I'll send a follow-up patch to remove the
> >> workaround. BTW, do you happen to know how to check which Smatch snapshot
> >> Media CI is currently using?
> > How about posting a patch next week? 🙂
> >
> > Cc Ricardo, too.



--
Ricardo Ribalda