dev #3

Merged
WorldTeacher merged 4 commits from dev into main 2025-10-21 15:16:38 +01:00
2 changed files with 59 additions and 0 deletions
Showing only changes of commit fdb6c42204 - Show all commits

View File

@@ -0,0 +1,32 @@
on:
pull_request:
types:
- synchronize
- reopened
- edited
jobs:
test-build:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@master
- name: Install uv
uses: astral-sh/setup-uv@v5
with:
python-version-file: "pyproject.toml"
- name: Set up Python
run: uv python install
- name: Install the project dependencies
run: |
uv sync --all-groups
- name: Build package
run: uv build
- name: Run tests
run: uv run pytest

View File

@@ -0,0 +1,27 @@
on:
pull_request:
types:
- opened
jobs:
typecheck:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@master
- name: Install uv
uses: astral-sh/setup-uv@v5
with:
python-version-file: "pyproject.toml"
- name: Set up Python
run: uv python install
- name: Install the project dependencies
run: |
uv sync --all-groups
- name: Run mypy
run: uv run mypy src/