Skip to content

Commit

Permalink
[ci] tweak CI run condition
Browse files Browse the repository at this point in the history
- Run lint CI on all cases
- Rerun PD workflow when unlabeled
- Run PD workflow on draft PR
- Don't run report on draft PR for VCS workflow

Signed-off-by: Avimitin <[email protected]>
  • Loading branch information
Avimitin authored and sequencer committed Dec 13, 2024
1 parent 48f8858 commit 052caec
Show file tree
Hide file tree
Showing 4 changed files with 5 additions and 4 deletions.
1 change: 0 additions & 1 deletion .github/workflows/lint.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,6 @@ concurrency:

jobs:
check-format:
if: '! github.event.pull_request.draft'
name: "Check code format"
runs-on: [self-hosted, linux, nixos]
steps:
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/pd.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ on:
- reopened
- ready_for_review
- labeled
- unlabeled
env:
USER: runner

Expand All @@ -17,7 +18,6 @@ concurrency:

jobs:
generate-test-plan:
if: '! github.event.pull_request.draft'
name: "Generate CI target for RTL elaborate"
runs-on: [self-hosted, linux, nixos]
outputs:
Expand Down
3 changes: 2 additions & 1 deletion .github/workflows/t1rocket.yml
Original file line number Diff line number Diff line change
Expand Up @@ -89,7 +89,8 @@ jobs:
# Don't run report when:
# - user cancel ( we don't need report at this case )
# - PR from outside repository ( we don't have permission to push commit into fork repository )
if: ${{ !cancelled() && github.event.pull_request.head.repo.full_name == github.repository }}
# - this is a draft pr
if: ${{ !cancelled() && github.event.pull_request.head.repo.full_name == github.repository && ! github.event.pull_request.draft }}
needs: [run-testcases]
runs-on: [self-hosted, linux, nixos]
permissions:
Expand Down
3 changes: 2 additions & 1 deletion .github/workflows/vcs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -89,7 +89,8 @@ jobs:
# Don't run report when:
# - user cancel ( we don't need report at this case )
# - PR from outside repository ( we don't have permission to push commit into fork repository )
if: ${{ !cancelled() && github.event.pull_request.head.repo.full_name == github.repository }}
# - this is a draft PR
if: ${{ !cancelled() && github.event.pull_request.head.repo.full_name == github.repository && ! github.event.pull_request.draft }}
needs: [run-testcases]
runs-on: [self-hosted, linux, nixos]
permissions:
Expand Down

0 comments on commit 052caec

Please sign in to comment.