Rename action

This commit is contained in:
Serene-Arc 2024-06-09 15:31:49 +10:00 committed by Šarūnas Nejus
parent 6b2ec01a14
commit b57c0dd7c5
No known key found for this signature in database
GPG key ID: DD28F6704DBE3435

View file

@ -81,10 +81,10 @@ jobs:
linters: flake8
run: poe lint ${{ needs.changed-files.outputs.changed_python_files }}
typing:
mypy:
if: needs.changed-files.outputs.any_python_changed == 'true'
runs-on: ubuntu-latest
name: Check types
name: Check types with mypy
needs: changed-files
steps:
- uses: actions/checkout@v4