chore: disable macos-15 for dafny_interrop#855

imabhichow wants to merge 3 commits intomainlineaws/aws-encryption-sdk:mainlinefrom

imabhichow/fix-interropaws/aws-encryption-sdk:imabhichow/fix-interropCopy head branch name to clipboard