Skip to content

ci(skills): gate PRs on skill-docs being generated from SKILL.md frontmatter#1844

Merged
xuyushun441-sys merged 1 commit into
mainfrom
chore/ci-check-skill-docs
Jun 14, 2026
Merged

ci(skills): gate PRs on skill-docs being generated from SKILL.md frontmatter#1844
xuyushun441-sys merged 1 commit into
mainfrom
chore/ci-check-skill-docs

Commits

Commits on Jun 14, 2026