This repo contains code to mirror other repos. It also contains the code that is getting mirrored.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

20 rivejä
525 B

  1. name: Python type check
  2. on: [push, pull_request]
  3. jobs:
  4. build:
  5. runs-on: ubuntu-latest
  6. steps:
  7. - uses: actions/checkout@v1
  8. - name: Download submodules
  9. run: git submodule update --init --recursive
  10. - name: Set up Python
  11. uses: actions/setup-python@v1
  12. with:
  13. python-version: 3.8
  14. - name: Install dependencies
  15. run: |
  16. python -m pip install --upgrade pip
  17. pip install mypy
  18. - name: Lint with mypy
  19. run: mypy -p lark-stubs || true