mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-20 16:55:40 +00:00
1f245ea240
Differential Revision: https://phabricator.services.mozilla.com/D37862 --HG-- extra : rebase_source : 93849386dacff73f73481e652e7e5a00f9d019fa extra : source : 12d70adf7d1c28d0a4f7328c4b4659d4f33db107
40 lines
915 B
TOML
40 lines
915 B
TOML
[configs]
|
|
skip-check-length = false
|
|
skip-check-licenses = false
|
|
check-alphabetical-order = false
|
|
|
|
[ignore]
|
|
# Ignored packages with duplicated versions
|
|
packages = [
|
|
"crossbeam-epoch",
|
|
"crossbeam-utils",
|
|
"gl_generator",
|
|
"khronos_api",
|
|
"lazy_static",
|
|
"nix",
|
|
"parking_lot",
|
|
"parking_lot_core",
|
|
"rand",
|
|
"rand_core",
|
|
"winapi",
|
|
"core-graphics",
|
|
"core-text",
|
|
"xml-rs",
|
|
"yaml-rust",
|
|
]
|
|
|
|
# Files that are ignored for all tidy and lint checks.
|
|
files = [
|
|
"./wrench/src/egl.rs", # Copied from glutin
|
|
"./ci-scripts/wrupdater/converter.py", # servo-tidy doesn't like python3
|
|
"./ci-scripts/wrupdater/read-json.py", # servo-tidy doesn't like python3
|
|
]
|
|
|
|
# Many directories are currently ignored while we tidy things up
|
|
# gradually.
|
|
directories = [
|
|
# Generated and upstream code combined with our own. Could use cleanup
|
|
"./target",
|
|
"./webrender/src",
|
|
]
|