diff options
| author | Tom Rini <[email protected]> | 2022-03-25 08:19:09 -0400 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2022-03-25 08:26:01 -0400 |
| commit | e47bbf7e0e160ad8a52927cf3411673413138285 (patch) | |
| tree | 1d95a7992afe631b989c15f662423f8f8fcb8859 /doc/develop | |
| parent | 3b2d19c838a48350e06d4c12e4d749eec0217f2c (diff) | |
CI: Pin pylint version to 2.12.2
For consistency in runs, we need to always use the same pylint version.
Pin to 2.12.2 as this is what we have been using so far.
Signed-off-by: Tom Rini <[email protected]>
Diffstat (limited to 'doc/develop')
0 files changed, 0 insertions, 0 deletions