Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 13:40:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Update servo-tidy.toml

Browse source
This commit is contained in:
michaelgrigoryan25 2023-05-18 18:05:16 +04:00
parent 4aa8a1c418
commit ba07eab022
1 changed files with 12 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

22
servo-tidy.toml
View file

@ -2,12 +2,8 @@
skip-check-length = false
skip-check-licenses = false
check-alphabetical-order = true
check-ordered-json-keys = [
"./resources/prefs.json",
]
lint-scripts = [
"./python/servo/lints/wpt_lint.py",
]
check-ordered-json-keys = ["./resources/prefs.json"]
lint-scripts = ["./python/servo/lints/wpt_lint.py"]
# Packages which we avoid using in Servo.
# For each blocked package, we can list the exceptions,
@ -27,6 +23,8 @@ rand = [
[ignore]
# Ignored packages with duplicated versions
packages = [
"time",
"cookie",
"arrayvec",
"base64",
"cfg-if",
@ -34,7 +32,7 @@ packages = [
"crossbeam-utils",
"fixedbitset",
"getrandom",
"h2",
# "h2",
"half",
"image",
"itoa",
@ -65,14 +63,14 @@ packages = [
"tokio",
"tokio-macros",
"tokio-util",
"http-body",
# "http-body",
"httpdate",
"hyper",
# "hyper",
"bytes",
"pin-project",
# "pin-project",
"pin-project-lite",
"pin-project-internal",
"socket2",
# "pin-project-internal",
# "socket2",
# https://github.com/servo/servo/pull/23288#issuecomment-494687746
"gl_generator",