Skip to content

ci: drop pr-title workflow, bump checkout to v6, slim contribution skill#49

Merged
StudentWeis merged 1 commit into
mainfrom
ci/drop-pr-title-and-bump-checkout
Apr 25, 2026
Merged

ci: drop pr-title workflow, bump checkout to v6, slim contribution skill#49
StudentWeis merged 1 commit into
mainfrom
ci/drop-pr-title-and-bump-checkout

Conversation

@StudentWeis
Copy link
Copy Markdown
Owner

Summary

Trim CI surface area: drop the dedicated PR-title workflow, bump actions/checkout to v6, and slim the contribution skill to remove duplication with AGENTS.md.

Linked Issue

N/A — trivial CI / docs change.

Changes

  • .github/workflows/pr-title.yml: deleted. The Conventional Commit title check is no longer enforced via CI; the rule still lives in the contribution skill and the PR template.
  • .github/workflows/ci.yml: actions/checkout@v4@v6 in both the precheck and cross-build jobs.
  • .agents/skills/ropy-contribution-flow/SKILL.md: 190 → 120 lines. Removed sections that re-stated AGENTS.md (TDD / thiserror / gpui-component / i18n), the PR template's self-check, the anti-patterns reverse-restatement, and the trailing copy-paste cheatsheet. Conventional Commits rules collected into a single section. Required-checks list updated to reflect the deleted pr-title workflow.

Testing

  • scripts/precheck.sh passes locally (414 tests, clippy clean, i18n / icons / themes OK).
  • No code changes — workflow + docs only, so no new tests required.

- Remove .github/workflows/pr-title.yml (Conventional Commit title check no longer enforced via CI).
- Bump actions/checkout from v4 to v6 in both jobs of ci.yml.
- Slim .agents/skills/ropy-contribution-flow/SKILL.md from 190 to 120 lines by removing duplication with AGENTS.md and the PR template, and tightening prose.
@StudentWeis StudentWeis merged commit 6ef105e into main Apr 25, 2026
9 checks passed
@StudentWeis StudentWeis deleted the ci/drop-pr-title-and-bump-checkout branch April 25, 2026 07:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant