summaryrefslogtreecommitdiff
path: root/lint/run_strict_deps.py
AgeCommit message (Collapse)Author
2025-06-17lint scripts: Add typing and basic documentationPaul Cristian Sarbu
2025-06-16lint: add strict_depsKlaus Aehlig
Add a test verifying that no header files are picked up from an indirect dependency.