Skip to content

Commit 090b904

Browse files
committed
ci: temporarily run coverage on copy-pr-bot PR mirror
Signed-off-by: Rui Luo <ruluo@nvidia.com>
1 parent 0cbdb7b commit 090b904

1 file changed

Lines changed: 12 additions & 0 deletions

File tree

.github/workflows/coverage.yml

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,17 @@ on:
88
schedule:
99
- cron: '0 0 * * *' # This runs the workflow every day at 12:00 AM UTC
1010
workflow_dispatch: {}
11+
# TEMPORARY (do not merge): copy-pr-bot mirrors the PR to pull-request/<n>
12+
# on NVIDIA/cuda-python; a push event reads this workflow from that commit.
13+
# Same trigger as ci.yml / #2426. Revert before merge.
14+
push:
15+
branches:
16+
- "pull-request/[0-9]+"
17+
18+
# One run per ref so a force-push does not queue another A100 job.
19+
concurrency:
20+
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name }}
21+
cancel-in-progress: true
1122

1223
env:
1324
PY_VER: "3.14"
@@ -566,6 +577,7 @@ jobs:
566577
include-hidden-files: true
567578

568579
- name: Deploy to gh-pages
580+
if: ${{ !startsWith(github.ref, 'refs/heads/pull-request/') }}
569581
uses: JamesIves/github-pages-deploy-action@d92aa235d04922e8f08b40ce78cc5442fcfbfa2f # v4.8.0
570582
with:
571583
git-config-name: cuda-python-bot

0 commit comments

Comments
 (0)