actions: remove retired macos-13 runners#42317

sarisia wants to merge 2 commits intogithub:maingithub/docs:mainfrom

sarisia:macos-13sarisia/docs:macos-13Copy head branch name to clipboard