summaryrefslogtreecommitdiff
path: root/.github/copilot-instructions.md
AgeCommit message (Expand)Author
2025-07-21Add utility to trace creation of problematic IRInsts to assist LLM in debuggi...Copilot
2025-07-10copilot instruction prompt: emphasize to format changes.Yong He
2025-07-09Fix internal error when a generic in an extension is unused (#7665)Copilot
2025-07-02Run full check on merge_queue, but not on push. (#7596)Yong He
2025-07-02Add copilot environment configuration. (#7586)Yong He