From dd75e9c04986b31de0cd61d7a5da1029d512d045 Mon Sep 17 00:00:00 2001
From: seebees <ryanemer@amazon.com>
Date: Mon, 12 Aug 2024 16:04:08 -0700
Subject: [PATCH] chore: Update size of Macos

This will help Dafny verifcation
complete quicker.
---
 .github/workflows/library_dafny_verification.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/library_dafny_verification.yml b/.github/workflows/library_dafny_verification.yml
index 2c41aabc8..2b4a14ef2 100644
--- a/.github/workflows/library_dafny_verification.yml
+++ b/.github/workflows/library_dafny_verification.yml
@@ -38,7 +38,7 @@ jobs:
             DynamoDbItemEncryptor,
             StructuredEncryption,
           ]
-        os: [macos-12]
+        os: [macos-latest-large]
     runs-on: ${{ matrix.os }}
     defaults:
       run: