ci: lint: enable linting also for manual targets - #593

Open

fbaeuerle wants to merge 2 commits into

mainfrom

fb/541/manual_targets

Commits on Sep 17, 2026

ci: hash SARIF output filenames instead of flattening paths

fbaeuerle
and
Copilot
committed
ea223cb
ci: lint manual-tagged targets too

fbaeuerle
and
Copilot
committed
46cf5d7