This repository was archived by the owner on Jan 30, 2026. It is now read-only.
Adding starter code with agent and benchmark #40
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Type Check | |
| on: | |
| push: | |
| branches: [ main ] | |
| pull_request: | |
| branches: [ main ] | |
| jobs: | |
| mypy: | |
| runs-on: ubuntu-latest | |
| strategy: | |
| max-parallel: 5 | |
| matrix: | |
| python-version: ["3.10", "3.11", "3.12"] | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Set up Python ${{ matrix.python-version }} | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: ${{ matrix.python-version }} | |
| - name: Display Python version | |
| run: python -c "import sys; print(sys.version)" | |
| - name: Install dependencies | |
| run: | | |
| cd backend | |
| python -m pip install --upgrade pip | |
| python -m pip install uv | |
| uv sync --extra test | |
| - name: Type-checking with mypy | |
| run: | | |
| cd backend | |
| uv run mypy --strict . | |
| - name: Type-checking with ruff | |
| run: | | |
| cd backend | |
| uv run ruff check . |