Mac OS 13 images are being deprecated by 12/4/25, so we will need to update our runners to use Mac OS 15 images. See https://github.com/actions/runner-images/issues/13046.
Mac OS 13 images are being deprecated by 12/4/25, so we will need to update our runners to use Mac OS 15 images. See actions/runner-images#13046.