ci: upgrade to using macos-13