Skip to content

Removed unnecessary debug log #4

Removed unnecessary debug log

Removed unnecessary debug log #4

Workflow file for this run

name: mypy
on: [pull_request, push]
jobs:
mypy:
# if: github.event.pull_request.user.type != 'Bot' && !contains(github.event.pull_request.labels.*.name, 'skip-ci')
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: actions/setup-python@v2
- run: pip install -r requirements-dev.txt
- run: mkdir --parents --verbose .mypy_cache
- run: mypy --non-interactive discord/