lint/lib
Marco Ferrari e62b382bf0
feat: don't inspect files if not needed (#5094)
Don't run potentially expensive I/O operations to check file types if
we're not going to analyze them anyway.
2024-01-06 18:39:39 +01:00
..
functions feat: don't inspect files if not needed (#5094) 2024-01-06 18:39:39 +01:00
linter.sh fix: fix GITHUB_BEFORE_SHA initalization for push (#5098) 2024-01-05 23:07:39 +01:00