You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
chore: align local tooling with CI and refresh stale docs
- Delete the stale uv.lock; requirements*.lock.txt are the only lock
files CI uses, and `uv lock --check` had already drifted.
- `make check` now runs ruff and pytest like CI; the `.PHONY` lint
target exists for real.
- Dependabot ignores pandas/matplotlib, which course folders pin
separately; workflows no longer trigger on the deleted `main` branch.
- README status sections stop hardcoding a master hash and point to the
CHANGELOG; AGENTS.md describes the verifier v2 checkpoint contract;
CHANGELOG records the 2026-10-04 CI/course-setup fixes and no longer
claims a stale production pin; repo-plan-0.1.x reflects the deleted
website 0.0.9 plan file and drops the stale hash.
Generated with [Devin](https://devin.ai)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
0 commit comments