chore: remove Copilot setup workflow#380
Conversation
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 93faab0cde
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| with: | ||
| cache-key: warm | ||
| save-cache: false | ||
| tools: just,typos-cli,cargo-shear,dprint |
There was a problem hiding this comment.
Keep agent tool setup available
When Copilot coding-agent sessions run, GitHub only applies repo-specific setup from .github/workflows/copilot-setup-steps.yml when that file is present on the default branch (docs). Deleting the step that installed just,typos-cli,cargo-shear,dprint leaves those sessions following AGENTS.md/justfile validation (just ready calls typos, cargo shear, and dprint) without the required binaries, so future agent changes can fail before they can run the documented checks unless this setup is kept or replaced with an equivalent one.
Useful? React with 👍 / 👎.
Removes
.github/workflows/copilot-setup-steps.ymlfrom the repository.