From 41cbf44db9fec49d19ffa125096109a486dc0a36 Mon Sep 17 00:00:00 2001
From: Codex Bot <codex-bot@gitea.entroia.local>
Date: Wed, 23 Sep 2026 22:53:36 +0800
Subject: [PATCH] ci: restore Python checks on CODEX runner

---
 .gitea/workflows/ci.yml | 38 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100644 .gitea/workflows/ci.yml

diff --git a/.gitea/workflows/ci.yml b/.gitea/workflows/ci.yml
new file mode 100644
index 0000000..0c72052
--- /dev/null
+++ b/.gitea/workflows/ci.yml
@@ -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