about summary refs log tree commit diff
path: root/src/ci
diff options
context:
space:
mode:
authorklensy <klensy@users.noreply.github.com>2023-08-08 17:07:37 +0300
committerklensy <klensy@users.noreply.github.com>2023-08-08 17:07:37 +0300
commit524572df7a9f75e21bbeeaeb8ab3a3c5cba37ba8 (patch)
tree8b8747d4ea91c27bf261b3857715e19b7819af21 /src/ci
parent6d55184d05c9bd3c46b294dcad3bfb1d0907e871 (diff)
downloadrust-524572df7a9f75e21bbeeaeb8ab3a3c5cba37ba8.tar.gz
rust-524572df7a9f75e21bbeeaeb8ab3a3c5cba37ba8.zip
use smaller machines in CI PR runs
Diffstat (limited to 'src/ci')
-rw-r--r--src/ci/github-actions/ci.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ci/github-actions/ci.yml b/src/ci/github-actions/ci.yml
index 6efc1980e60..17108cbbfb0 100644
--- a/src/ci/github-actions/ci.yml
+++ b/src/ci/github-actions/ci.yml
@@ -318,10 +318,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