chore: Update size of Macos

seebees · seebees · commit 38f6ed45ea19 · 2024-08-12T15:08:57.000-07:00
This will help Dafny verifcation complete quicker.
diff --git 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:
