matthew/enhanced-discord.py
1
0
Fork 0
Code Issues 4 Pull Requests 21 Projects Releases Wiki Activity

Remove linting

Browse Source
This commit is contained in:
Arnav Jindal 2021-09-06 18:43:13 +05:30 committed by GitHub
parent ed0e401c65
commit a8deebb67d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.github/workflows/ci.yml vendored
View File

@ -24,8 +24,3 @@ jobs:
npm install -g pyright
pip install -r requirements.txt
pyright --lib --verifytypes discord --ignoreexternal
- name: Lint Code Base
uses: github/super-linter@v4
env:
VALIDATE_ALL_CODEBASE: false