Skip to content

Commit c33d52e

Browse files
committed
Add verbose log for a proof it ran
1 parent c1a2351 commit c33d52e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/lint.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,4 +24,4 @@ jobs:
2424
run: |
2525
python -m pip install pylint setuptools
2626
python setup.py build
27-
python -m pylint --disable=no-member -E build/lib*/evdev
27+
python -m pylint --disable=no-member --verbose -E build/lib*/evdev

0 commit comments

Comments
 (0)