diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2023-08-13 21:00:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-13 21:00:46 +0200 |
| commit | d8682764433f8f55ca70f05435f51fa482dd311c (patch) | |
| tree | 6191eb5a5fdb0891a962acaa3542c018744425f1 /src/ci/github-actions | |
| parent | 2442c9b7243d1c79588ba8e1b997f9dfb3705a1b (diff) | |
| parent | 524572df7a9f75e21bbeeaeb8ab3a3c5cba37ba8 (diff) | |
Rollup merge of #114625 - klensy:ci-pr-workers, r=Mark-Simulacrum
CI: use smaller machines in PR runs mingw-check job-linux-16c -> job-linux-4c ~job-linux-4c 20 min in auto job ~job-linux-16c 13 min in pr job with current pr regressed to almost 21 min, it's ok. mingw-check-tidy job-linux-16c -> job-linux-4c small enough, so reduce to minimal ~ job-linux-16c 3 min with current pr regressed to almost 5 min, it's ok. x86_64-gnu-tools job-linux-16c this is top job by time in PR, so don't touch it ~ job-linux-8c 1.30 hour in auto job ~ job-linux-16c 1 hour in pr job (affected by #114613, actual time ~ 30 min) x86_64-gnu-llvm-15 job-linux-16c don't change too ~ job-linux-8c 1.30 hour in auto job ~ job-linux-16c 30 min in pr job Noticed while working on https://github.com/rust-lang/rust/pull/114621, so current time affected by always rebuilded docker images (but pr images always rebuilded before too, so nvm)
Diffstat (limited to 'src/ci/github-actions')
| -rw-r--r-- | src/ci/github-actions/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ci/github-actions/ci.yml b/src/ci/github-actions/ci.yml index f900a5eb576..2cc0bfd9db9 100644 --- a/src/ci/github-actions/ci.yml +++ b/src/ci/github-actions/ci.yml @@ -316,10 +316,10 @@ jobs: matrix: include: - name: mingw-check - <<: *job-linux-16c + <<: *job-linux-4c - name: mingw-check-tidy - <<: *job-linux-16c + <<: *job-linux-4c - name: x86_64-gnu-llvm-15 <<: *job-linux-16c |