菜单
Writes and runs tests for the scheduler package with pytest and coverage. Use when adding tests, fixing failures, or running the test suite for this repository.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Changes the scheduler command-line interface in main.py (Click), arguments, output paths, and format options. Use when adding CLI flags or adjusting how schedules are printed or written to disk.
Implements or debugs scheduling logic, Z3 constraints, and JSON configuration for the course constraint scheduler. Use when working in scheduler.py, config models, time slots, or solver behavior.
Changes or reviews the FastAPI REST server, routes, and HTTP behavior for the scheduler. Use when editing server.py, async job flow, or API contracts.
Maintains Fern documentation, OpenAPI, JSON Schema assets, and Python API reference MDX for this project. Use when changing FastAPI routes, public docstrings, Pydantic config models, or user-facing docs under fern/docs.
Interprets or updates GitHub Actions workflows for linting, tests, docs, and publishing. Use when CI fails, when adding checks, or when aligning local commands with automation.
Maintains TypedDict and JSON-shaped type definitions for API and config payloads. Use when editing json_types.py or aligning wire formats with Pydantic models and OpenAPI.
| name | sched-testing-pytest |
| description | Writes and runs tests for the scheduler package with pytest and coverage. Use when adding tests, fixing failures, or running the test suite for this repository. |
uv run pytest
pyproject.toml → [tool.pytest.ini_options]: testpaths = ["tests"], pythonpath = ["src"].--cov=scheduler with --cov-fail-under=75 — PRs must keep coverage above the gate unless maintainers agree to adjust it.@pytest.mark.slow: Heavy tests (e.g. full example.json, long solver paths). Use for anything that would slow routine pytest runs; document in the test docstring when appropriate.tests/conftest.py.scheduler modules; reach into internals only when necessary for Z3 or config edge cases.tests/.