This repo contains code to mirror other repos. It also contains the code that is getting mirrored.
Você não pode selecionar mais de 25 tópicos Os tópicos devem começar com uma letra ou um número, podem incluir traços ('-') e podem ter até 35 caracteres.

20 linhas
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