ci-and-releases

CI hygiene for Lean 4 projects using Lake requires a clean checkout, lake build, and treating warnings as failures. This Skill automates verification, version bumps, toolchain updates, and dependency pinning to maintain a release-ready repository aligned with your pinned manifests.

Run a clean build locally to verify the executable, update lean-toolchain when needed, refresh dependencies with lake update, and document changes. This ensures the bump passes CI and keeps the repository green before pushing.

Use lake update to refresh dependencies, verify with a clean local build, treat warnings as failures, and pin versions to your manifest. This workflow prevents silent breakage and keeps CI passing across dependency changes.

Yes. This Skill provides a repeatable checklist for version bumps, toolchain updates, and release-like changes. It ensures minimal, safe, and documented changes that stay aligned with CI requirements and maintain repository stability.

A clean checkout of your ComputationalPaths Lean 4 project, Lake installed for building, and lean-action CI configured. Local verification with lake build and warning-as-failure enforcement mirrors CI behavior before pushing changes.

Treating warnings as failures prevents technical debt from accumulating and catches issues early in CI. This discipline ensures code quality across toolchain and dependency updates, reducing the risk of silent regressions in release-ready changes.