Skip to content

Update website using most recent deployment only (#18) #26

Update website using most recent deployment only (#18)

Update website using most recent deployment only (#18) #26

Workflow file for this run

name: Python Checks
on:
push:
branches: [ main ]
pull_request:
permissions:
contents: read
jobs:
lint-and-typecheck:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: "3.10"
- name: Install uv
run: |
curl -LsSf https://astral.sh/uv/0.9.7/install.sh | sh
echo "$HOME/.cargo/bin" >> $GITHUB_PATH
- name: Install dependencies
run: |
uv sync
- name: Run Ruff (lint + format check)
run: |
uv run ruff check .
uv run ruff format --check .
- name: Run Mypy (type check)
run: |
uv run mypy .