Fix macOS platform suffix: macos-13 → macos-14#548

fabiomadge wants to merge 1 commit intomasterdafny-lang/ide-vscode:masterfrom

fix-macos-platform-suffixdafny-lang/ide-vscode:fix-macos-platform-suffixCopy head branch name to clipboard