mirror of
https://gitlab.com/fdroid/fdroidserver.git
synced 2024-11-11 01:40:11 +01:00
ci: disable linters we didn't use
This commit is contained in:
parent
a895f9e11c
commit
7525e88d14
@ -9,3 +9,10 @@ plugins:
|
|||||||
|
|
||||||
bandit:
|
bandit:
|
||||||
enabled: true
|
enabled: true
|
||||||
|
|
||||||
|
# Disable as they are not among the array of linters we used previously
|
||||||
|
duplication:
|
||||||
|
enabled: false
|
||||||
|
|
||||||
|
structure:
|
||||||
|
enabled: false
|
||||||
|
Loading…
Reference in New Issue
Block a user