Merge branch 'tony/chore-std-hasSubString' of github.com:aws/aws-cryp…

…tographic-material-providers-library-dafny into tony/chore-std-hasSubString
aws · Nov 4, 2024 · 833be7c · 833be7c
2 parents d276e9b + a492993
commit 833be7c
Show file tree

Hide file tree

Showing 7 changed files with 8 additions and 8 deletions.
diff --git a/.github/workflows/library_dafny_verification.yml b/.github/workflows/library_dafny_verification.yml
@@ -53,7 +53,7 @@ jobs:
           dafny-version: ${{ inputs.dafny }}
 
       # dafny-reportgenerator requires next6
-      # but only 7.0 is installed on macos-12-large
+      # but only 7.0 is installed on macos-13-large
       - name: Setup .NET Core SDK '6.0.x'
         uses: actions/setup-dotnet@v3
         with:

diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml
@@ -23,7 +23,7 @@ jobs:
             # https://taskei.amazon.dev/tasks/CrypTool-5283
             # windows-latest,
             ubuntu-latest,
-            macos-12,
+            macos-13,
           ]
         language: [java, net, python]
         # https://taskei.amazon.dev/tasks/CrypTool-5284
@@ -145,7 +145,7 @@ jobs:
             # TODO just test on mac and ubuntu for now
             # windows-latest,
             ubuntu-latest,
-            macos-12,
+            macos-13,
           ]
         encrypting_language: [java, net, python]
         decrypting_language: [java, net, python]

diff --git a/.github/workflows/library_java_tests.yml b/.github/workflows/library_java_tests.yml
@@ -32,7 +32,7 @@ jobs:
             # TODO just test on mac for now
             # windows-latest,
             ubuntu-latest,
-            macos-12,
+            macos-13,
           ]
     runs-on: ${{ matrix.os }}
     permissions:

diff --git a/.github/workflows/library_net_tests.yml b/.github/workflows/library_net_tests.yml
@@ -29,7 +29,7 @@ jobs:
             TestVectorsAwsCryptographicMaterialProviders,
           ]
         dotnet-version: ["6.0.x"]
-        os: [windows-latest, ubuntu-latest, macos-12]
+        os: [windows-latest, ubuntu-latest, macos-13]
     runs-on: ${{ matrix.os }}
     defaults:
       run:

diff --git a/.github/workflows/library_python_tests.yml b/.github/workflows/library_python_tests.yml
@@ -36,7 +36,7 @@ jobs:
             # Windows source code is tested downstream (ex. ESDK-Python CI).
             # windows-latest,
             ubuntu-latest,
-            macos-12,
+            macos-13,
           ]
     runs-on: ${{ matrix.os }}
     defaults:

diff --git a/.github/workflows/sem_ver.yml b/.github/workflows/sem_ver.yml
@@ -6,7 +6,7 @@ on:
 
 jobs:
   semantic-release:
-    runs-on: macos-12
+    runs-on: macos-13
     permissions:
       id-token: write
       contents: read

diff --git a/.github/workflows/semantic_release.yml b/.github/workflows/semantic_release.yml
@@ -15,7 +15,7 @@ jobs:
     # privileged operation, so we must make sure this list of users is a subset of the users labeled as maintainers of
     # https://github.com/orgs/aws/teams/aws-crypto-tools
     if: contains('["seebees","texastony","ShubhamChaturvedi7","lucasmcdonald3","josecorella","imabhichow","rishav-karanjit","antonf-amzn","kessplas","RitvikKapila","ajewellamz"]', github.actor)
-    runs-on: macos-12
+    runs-on: macos-13
     permissions:
       id-token: write
       contents: write