Skip to content
Type checking

docs: add note on deploying docs in new repos #19

Sign in to view logs

docs: add note on deploying docs in new repos

docs: add note on deploying docs in new repos #19

Workflow file for this run

.github/workflows/type_check.yml at ebcf17e
name: Type checking
on: push
jobs:
type_check:
name: Type check code with mypy
runs-on: ubuntu-latest
steps:
- name: Check out repo
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: 3.11
- name: Display Python version
run: python -c "import sys; print(sys.version)"
- name: Install dependencies
run: |
pip install setuptools --upgrade
pip install .[type_checking]
- name: Install package
run: pip install .
- name: Run `mypy` type checker
# proceed even if mypy checking fails:
continue-on-error: true
run: mypy --strict .