Skip to content

Merge branch 'main' into dd/dev #69

Merge branch 'main' into dd/dev

Merge branch 'main' into dd/dev #69

Workflow file for this run

name: pyright
on: [push, pull_request]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: '3.10'
cache: 'pip'
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install .[dev]
- name: Type check with pyright
run: pyright