Skip to content

[lint] Use git diff to get file lists#2210

Merged
dpalermo merged 2 commits into
aomp-devfrom
dp-aomp-shell-read-1
Apr 30, 2026
Merged

[lint] Use git diff to get file lists#2210
dpalermo merged 2 commits into
aomp-devfrom
dp-aomp-shell-read-1

Commits

Commits on Apr 30, 2026