ci-and-releases
CommunityCI & releases: keep the repo green and updated.
AuthorArthur742Ramos
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides a repeatable checklist for keeping the repo green on CI and preparing small “release-like” changes (toolchain bump, version bump, dependency updates).
Core Features & Use Cases
- CI mental model: clean checkout + lake build
- Local verification, version bump, toolchain bumps
- Dependency update workflow with lake update
- Release hygiene: minimal, safe, and documented changes
Quick Start
Run a clean build and verify the executable; then bump toolchain or version as needed and refresh dependencies.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: ci-and-releases Download link: https://github.com/Arthur742Ramos/ComputationalPathsLean/archive/main.zip#ci-and-releases Please download this .zip file, extract it, and install it in the .claude/skills/ directory.