[LINT] Add more allowed file type

2ed7f95a · Tianqi Chen · GitHub · dd55682d · 2ed7f95a
Unverified Commit 2ed7f95a authored May 02, 2019 by Tianqi Chen Committed by GitHub May 02, 2019
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

tests/lint/check_file_type.py
+4 -0

No files found.
--- a/tests/lint/check_file_type.py
+++ b/tests/lint/check_file_type.py
@@ -62,6 +62,10 @@ ALLOW_EXTENSION = {
    "plist",
    "xcworkspacedata",
    "storyboard",
+    # hw/chisel
+    "sbt",
+    "properties",
+    "v",
    }

 # List of file names allowed