ci: restore Python checks on CODEX runner

2026-09-23 22:53:36 +08:00
parent f3dd8f8701
commit 41cbf44db9
1 changed files with 38 additions and 0 deletions
@@ -0,0 +1,38 @@
+name: ci
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+  workflow_dispatch:
+
+jobs:
+  python:
+    runs-on: gitea-cicd-server-for-CODEX
+    timeout-minutes: 15
+    steps:
+      - uses: actions/checkout@v4
+
+      # The runner job image has a Debian-managed Python. Keep project packages
+      # isolated from it rather than modifying the runner's global environment.
+      - name: Set up a virtualenv
+        run: |
+          set -eu
+          python3 --version
+          python3 -m venv .venv
+          .venv/bin/python -m pip install --quiet --upgrade pip
+
+      - name: Install
+        run: .venv/bin/python -m pip install --quiet -e ".[dev]"
+
+      - name: Lint
+        run: .venv/bin/python -m ruff check .
+
+      - name: Test
+        run: .venv/bin/python -m pytest -q
+
+      - name: Check the CLI entry point
+        run: |
+          set -eu
+          .venv/bin/lean-bench --help > /dev/null
+          .venv/bin/lean-bench doctor --skip-llm --env /dev/null