40 lines
940 B
YAML
40 lines
940 B
YAML
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 only has Debian's Python 3.9 without ensurepip,
|
|
# while the project requires Python 3.10 or newer. Use the Actions tool
|
|
# cache rather than depending on the retired Debian 11 package mirrors.
|
|
- uses: actions/setup-python@v5
|
|
with:
|
|
python-version: "3.12"
|
|
|
|
- name: Check Python
|
|
run: python --version
|
|
|
|
- name: Install
|
|
run: python -m pip install --quiet -e ".[dev]"
|
|
|
|
- name: Lint
|
|
run: python -m ruff check .
|
|
|
|
- name: Test
|
|
run: python -m pytest -q
|
|
|
|
- name: Check the CLI entry point
|
|
run: |
|
|
set -eu
|
|
lean-bench --help > /dev/null
|
|
lean-bench doctor --skip-llm --env /dev/null
|