mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-20 16:55:40 +00:00
c9af673766
[import_pr] From https://github.com/servo/webrender/pull/3720 MozReview-Commit-ID: AsI4hT0cFGJ Differential Revision: https://phabricator.services.mozilla.com/D42363 --HG-- extra : moz-landing-system : lando
41 lines
939 B
TOML
41 lines
939 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",
|
|
"percent-encoding",
|
|
"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",
|
|
]
|