skills.homes logoskills.homescapability registry
home/categories/cicd/majiayu000-claude-skill-registry-skills-data-ci-and-releases-skill-md
cd ..
cicddevops

ci-and-releases

A lightweight checklist for CI, toolchain bumps, and version/release hygiene for the ComputationalPaths Lean 4 project (Lake + lean-action CI).

عرض المصدرcicd
majiayu000
maintainer
majiayu000
آخر تحديث 1/22/2026
النجوم
185
التفرعات
40
quick start

Installation and usage

A lightweight checklist for CI, toolchain bumps, and version/release hygiene for the ComputationalPaths Lean 4 project (Lake + lean-action CI).

التثبيت
$ install --globalskills.sh
الاستخدام

بعد التثبيت، يمكنك استخدام هذه المهارة بتشغيل الأمر التالي في الطرفية:

skills use ci-and-releases