소스 검색
Rename lint job
pull/2/head
Jérôme Deuchnord
6 년 전
committed by
GitHub
No known key found for this signature in database
GPG 키 ID: 4AEE18F83AFDEB23
1개의 변경된 파일과
1개의 추가작업 그리고
1개의 파일을 삭제
-
.github/workflows/pythonapp.yml
|
|
|
@@ -17,6 +17,6 @@ jobs: |
|
|
|
run: | |
|
|
|
python -m pip install --upgrade pip pipenv pylint pylintfileheader |
|
|
|
pipenv sync -d |
|
|
|
- name: Lint with flake8 |
|
|
|
- name: Lint |
|
|
|
run: | |
|
|
|
pylint *.py |