feat(phase3b): horizon probe — signal cliff localized to a single round #7
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: | |
| push: | |
| branches: [master, main, phase1-foundation] | |
| pull_request: | |
| jobs: | |
| test: | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 20 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install uv | |
| uses: astral-sh/setup-uv@v3 | |
| with: | |
| python-version: "3.12" | |
| - name: Pull python:2.7 docker image (for legacy compat tests) | |
| run: docker pull python:2.7 || echo "skipping legacy tests — image unavailable" | |
| - name: Install kissat (optional external solver) | |
| run: sudo apt-get install -y kissat || echo "kissat not available — subprocess tests will skip" | |
| - name: Sync deps | |
| run: uv sync --all-extras --frozen | |
| - name: Lint | |
| run: | | |
| uv run ruff check src tests | |
| uv run ruff format --check src tests | |
| - name: Type check | |
| run: uv run mypy | |
| - name: Test (fast — excludes slow and gpu) | |
| env: | |
| PYTEST_ADDOPTS: "-m 'not slow and not gpu'" | |
| run: uv run pytest -n auto |