Skip to content

chore: add skills for copilot#30

Merged
mohamedmansour merged 1 commit intomainfrom
user/mmansour/skills
Feb 19, 2026
Merged

chore: add skills for copilot#30
mohamedmansour merged 1 commit intomainfrom
user/mmansour/skills

Conversation

@mohamedmansour
Copy link
Copy Markdown
Contributor

Integarted github copilot skills for this repo

Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds a GitHub Copilot “skill” document to guide performance-focused Rust work in this repository, aligning optimization work with the repo’s design constraints and preferred validation commands.

Changes:

  • Introduces /rust-performance skill guidance, including required reading (DESIGN/workspace context).
  • Documents a performance-first workflow (measure → change → validate → re-measure).
  • Lists repository-specific cargo commands and an acceptance checklist for performance changes.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .github/skills/rust-performance/SKILL.md
Copy link
Copy Markdown

Copilot AI commented Feb 19, 2026

@mohamedmansour I've opened a new pull request, #31, to work on those changes. Once the pull request is ready, I'll request review from you.

@mohamedmansour mohamedmansour merged commit 4607640 into main Feb 19, 2026
11 of 12 checks passed
@mohamedmansour mohamedmansour deleted the user/mmansour/skills branch February 19, 2026 16:15
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.

4 participants