Menu
SkillsMP has collected 2 skills from MinaProtocol/mina. Open a skill to review its source and details.
Showing 2 of 2 collected skills.
Use when the user asks to trigger Mina CI, Buildkite CI, PR CI, !ci-build-me, !ci-single-me, !ci-docker-me, !ci-nightly-me, or other MinaProtocol/mina GitHub comment CI commands. Use this skill to choose the right magic comment and post it with gh CLI on Mina…
Use when the user asks to write, add, or fix a changelog entry for a MinaProtocol/mina PR, or when CI fails with "Missing changelog entry detected". Use this skill to produce a correctly named changes/<PR>.md written for end users, instead of pasting the PR…