diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 8dad11b0a..cd451ec98 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -8,7 +8,7 @@ on: paths-ignore: - 'docs/**' pull_request: - types: [opened, synchronize, reopened, ready_for_review, converted_to_draft] + types: [opened, synchronize, reopened, ready_for_review, converted_to_draft, closed] workflow_dispatch: concurrency: @@ -22,6 +22,8 @@ jobs: with: fast: "${{ github.event.pull_request.draft == true }}" exclude: '["cuda", "amd"]' + extra-os-on-prs: true + staged: ${{ github.event_name == 'pull_request' }} timeout-minutes: 150 secrets: CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}