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 /.github/workflows | |
| 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 '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 18e5fa7bc..b18bc7bad 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,8 +4,6 @@ on: workflow_dispatch: merge_group: types: [checks_requested] - push: - branches: [master] pull_request: branches: [master] concurrency: @@ -71,7 +69,7 @@ jobs: platform: x86_64 test-category: full # Run full gpu tests on PR/Main branch, but not on merge_group. - full-gpu-tests: ${{ github.event_name != 'merge_group' }} + full-gpu-tests: true # Run on self-hosted machine when using full-gpu-tests, otherwise on github runners. runs-on: ["Windows", "self-hosted", "GCP-T4"] has-gpu: true @@ -82,7 +80,7 @@ jobs: compiler: cl platform: x86_64 test-category: full - full-gpu-tests: ${{ github.event_name != 'merge_group' }} + full-gpu-tests: true runs-on: ["Windows", "self-hosted", "GCP-T4"] has-gpu: true server-count: 8 |