lint/lib
Marco Ferrari c46346c774
chore: remove clippy script, run clippy directly (#5953)
Remove clippy.sh script and run cargo-clippy directly. The script was
needed because when we introduced cargo-clippy, Super-linter didn't have
a way to customize the working directory when running linters and
formatters. Now, we can use GNU Parallel to handle that case.

This will unblock the work to do to implement #4001 (pass custom options
to cargo-clippy).
2024-08-02 13:24:43 +02:00
..
functions chore: remove clippy script, run clippy directly (#5953) 2024-08-02 13:24:43 +02:00
globals chore: extract language array definition (#5945) 2024-07-31 17:00:41 +02:00
linter.sh fix: adjust previous commit id on merge commits (#5950) 2024-08-02 10:37:27 +02:00