43 lines
1.1 KiB
YAML
43 lines
1.1 KiB
YAML
name: ci
|
|
|
|
on:
|
|
push:
|
|
branches: [main]
|
|
pull_request:
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
python:
|
|
runs-on: gitea-cicd-server-for-CODEX
|
|
container: node:22-bookworm
|
|
timeout-minutes: 15
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
|
|
# The runner label defaults to node:16-bullseye, whose Python 3.9 is too
|
|
# old and whose Debian repositories are retired. A Bookworm job image
|
|
# keeps Node available for JavaScript actions and provides Python 3.11.
|
|
- name: Set up Python
|
|
run: |
|
|
set -eu
|
|
apt-get update -qq
|
|
apt-get install -y -qq python3-venv
|
|
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
|