chore: Update size of Macos

seebees · seebees · commit dd75e9c04986 · 2024-08-12T16:08:12.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:
