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

From: Bin Du

Date: Mon May 11 2026 - 03:18:06 EST


Hi Ricardo,

Thanks, this was very helpful.

In /media-ci/third_party, `git describe HEAD` fails with:

root@a3a5d0a55d48:/media-ci/third_party# git describe HEAD
fatal: not a git repository (or any of the parent directories): .git

So I tried a bit further. Under /media-ci/third_party/smatch, I get:

# git describe --tags --always --dirty
1.75-3-g9dcab8cc
# ./smatch --version
v0.5.0-9187-g9dcab8cc

So I assume /media-ci/third_party/smatch is the right place to check the
Smatch snapshot used by media-ci.

Regards,
Bin

On 5/10/2026 7:49 AM, Ricardo Ribalda wrote:
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.