Skip to content

Merge branch 'main' of https://github.com/pt1243/sample-project #58

Merge branch 'main' of https://github.com/pt1243/sample-project

Merge branch 'main' of https://github.com/pt1243/sample-project #58

Workflow file for this run

name: Type check
on:
workflow_dispatch:
pull_request:
push:
branches:
- main
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
typecheck:
runs-on: ubuntu-latest
name: Type check
steps:
- uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: 3.11
cache: 'pip'
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install tox
- name: Type check with mypy (through tox)
run: tox -e type-check