lint: Flatten lint image entry points

This commit is contained in:
MarcoFalke committed 2026-01-28 15:22:18 +01:00
1 parent 1111fff91c
commit faba426b3b
5 files changed
+8 -23

No files matched your search

+1
View File
@@ -73,6 +73,7 @@ def main():
*get_worktree_mounts(repo_root),
*([] if is_ci else ["-it"]),
container,
"./ci/lint/06_script.sh",
*sys.argv[1:],
]
)