about summary refs log tree commit diff
path: root/src/ci
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2023-07-12 14:15:25 +0200
committerRalf Jung <post@ralfj.de>2023-07-12 14:15:25 +0200
commit4481569b2885e2d71285960e8b6b88a942f052d5 (patch)
tree40bc220748430e2e69a0678d408024bd00f47e11 /src/ci
parent7624d33fccea45c8deabfcbd1aa702103ac63294 (diff)
parentfb5efd7008c698a821e9c50c3f3a04d48abd8295 (diff)
downloadrust-4481569b2885e2d71285960e8b6b88a942f052d5.tar.gz
rust-4481569b2885e2d71285960e8b6b88a942f052d5.zip
Merge from rustc
Diffstat (limited to 'src/ci')
-rw-r--r--src/ci/github-actions/ci.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/github-actions/ci.yml b/src/ci/github-actions/ci.yml
index b5b478e60f4..55fd6cca85a 100644
--- a/src/ci/github-actions/ci.yml
+++ b/src/ci/github-actions/ci.yml
@@ -90,7 +90,7 @@ x--expand-yaml-anchors--remove:
     <<: *base-job
 
   - &job-macos-xl
-    os: macos-latest # We use the standard runner for now
+    os: macos-13 # We use the standard runner for now
     <<: *base-job
 
   - &job-windows-8c