summaryrefslogtreecommitdiff
path: root/.github/copilot-instructions.md
AgeCommit message (Expand)Author
2025-07-02Run full check on merge_queue, but not on push. (#7596)Yong He
2025-07-02Add copilot environment configuration. (#7586)Yong He