chore: sync from ark-apis 467715a257

.github/workflows/ci.yml

@@ -0,0 +1,48 @@
+name: Python CI
+
+on:
+  pull_request:
+    branches:
+      - main
+  # A workflow added by a pull request is not loaded from the base branch for
+  # that pull_request event. Running the workflow from ark-hand's same-repo
+  # sync branch makes the first workflow-installation PR testable as well.
+  push:
+    branches:
+      - "sync/**"
+    paths:
+      - ".github/workflows/ci.yml"
+
+permissions:
+  contents: read
+
+concurrency:
+  group: python-ci-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  python-ci:
+    name: Python CI
+    runs-on: ubuntu-latest
+    timeout-minutes: 15
+
+    steps:
+      - name: Check out repository
+        uses: actions/checkout@v4
+
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+
+      - name: Install uv
+        run: python -m pip install --disable-pip-version-check --quiet uv
+
+      - name: Install dependencies
+        run: uv sync --frozen --no-progress
+
+      - name: Lint
+        run: uv run ruff check src/
+
+      - name: Check formatting
+        run: uv run ruff format --check src/