Skip to content

Instantly share code, notes, and snippets.

@thatrandomperson5
Created December 6, 2022 01:40
Show Gist options
  • Save thatrandomperson5/0f3b405ebe9339ab71f0f6fe1c859713 to your computer and use it in GitHub Desktop.
Save thatrandomperson5/0f3b405ebe9339ab71f0f6fe1c859713 to your computer and use it in GitHub Desktop.
Mypy example check
name: mypy
on: [push, pull_request]
jobs:
mypy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
with:
python-version: '3.10'
- run: python3 -m pip install -U git+https://github.com/python/mypy.git
- run: mypy .
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment