|
|
88c8aa033b
|
lint.py: fix amount of ..'s for new repo layout
|
2020-11-30 15:10:56 -05:00 |
|
|
|
980f940a34
|
prefix results with 'lint.py' so that it's obvious where they're coming from
|
2020-11-18 16:04:59 -05:00 |
|
|
|
9633bcca35
|
lint.py: one more .. to find sneak_root
|
2020-03-02 21:21:42 -05:00 |
|
|
|
544b8d2464
|
lint: print # errors and return 1 if any errors found
GitOrigin-RevId: bab4a38d64540385b1a4dc509ba8ffc48feb9293
|
2020-02-25 20:43:47 -05:00 |
|
|
|
6b95a66859
|
lint: require const field names to be in ALL_CAPS
GitOrigin-RevId: 8b6c20e6d978f2756bdbf946ff860ce5cc48e3ce
|
2020-02-25 20:34:53 -05:00 |
|
|
|
efccefa5b1
|
Add lint script.
Fixes #5.
Also fixes #4.
GitOrigin-RevId: eaeeaac96040726472a2b604dc0567b4f8ba69ab
|
2020-02-25 19:15:59 -05:00 |
|
