diff options
| author | Yong He <yonghe@outlook.com> | 2025-07-02 14:15:58 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-02 21:15:58 +0000 |
| commit | 54a5d7f0056b4a846c790e7e019b9b5e74f76a98 (patch) | |
| tree | b7560e27ab93bfe7063ab085684bb6290418ddce /tests/bugs | |
| parent | bee3142ce4564d7cb6ec0af43b4ffdcae1d2e68d (diff) | |
Run full check on merge_queue, but not on push. (#7596)
* Run full check on merge_queue, but not on push.
* Fix.
* Update copilot instructions.
Diffstat (limited to 'tests/bugs')
0 files changed, 0 insertions, 0 deletions