.. |
prfilter
|
2316c6fb52
[CI] Remove clean-check scripts from ignore list
|
4 years ago |
run-pylint
|
f5974b027d
[CI] run-pylint: Use pylint if pylint3 is missing
|
4 years ago |
run-shellcheck
|
0daeed847f
[Jenkins] Check for missing gitignores and fix found issues
|
4 years ago |