chore: bump macos from 12 to 13 in CI (#691)

Author: ajewellamz

.github/workflows/dafny_interop_test_net.yml

@@ -37,7 +37,7 @@ jobs:
         os: [
           windows-latest,
           ubuntu-latest,
-          macos-12,
+          macos-13,
         ]
     runs-on: ${{ matrix.os }}
     permissions:

.github/workflows/dafny_interop_test_vector_net.yml

@@ -36,7 +36,7 @@ jobs:
         os: [
           windows-latest,
           ubuntu-latest,
-          macos-12,
+          macos-13,
         ]
     runs-on: ${{matrix.os}}
     permissions:
@@ -146,7 +146,7 @@ jobs:
       matrix:
         os: [
           ubuntu-latest,
-          macos-12,
+          macos-13,
         ]
     runs-on: ${{ matrix.os }}
     permissions:
@@ -251,7 +251,7 @@ jobs:
       matrix:
         os: [
           ubuntu-latest,
-          macos-12,
+          macos-13,
         ]
     runs-on: ${{ matrix.os }}
     permissions:

.github/workflows/library_dafny_verification.yml

@@ -21,7 +21,7 @@ jobs:
         library: [
           AwsEncryptionSDK
         ]
-        os: [ macos-12 ]
+        os: [ macos-13 ]
     runs-on: ${{ matrix.os }}
     env:
       DOTNET_CLI_TELEMETRY_OPTOUT: 1
@@ -38,6 +38,13 @@ jobs:
             git submodule update --init --recursive mpl
             git submodule update --init smithy-dafny
 
+      # dafny-reportgenerator requires next6
+      # but only 7.0 is installed on macos-13-large
+      - name: Setup .NET Core SDK '6.0.x'
+        uses: actions/setup-dotnet@v3
+        with:
+          dotnet-version: "6.0.x"
+
       - name: Setup Dafny
         uses: dafny-lang/[email protected]
         with:

.github/workflows/library_interop_tests.yml

@@ -27,7 +27,7 @@ jobs:
         os: [
           windows-latest,
           ubuntu-latest,
-          macos-12,
+          macos-13,
         ]
     runs-on: ${{ matrix.os }}
     permissions:
@@ -125,7 +125,7 @@ jobs:
       matrix:
         os: [
           ubuntu-latest,
-          macos-12,
+          macos-13,
         ]
     runs-on: ${{ matrix.os }}
     permissions:
@@ -230,7 +230,7 @@ jobs:
       matrix:
         os: [
           ubuntu-latest,
-          macos-12,
+          macos-13,
         ]
     runs-on: ${{ matrix.os }}
     permissions:

.github/workflows/library_java_tests.yml

@@ -25,7 +25,7 @@ jobs:
           # TODO just test on mac for now
           #windows-latest,
           #ubuntu-latest,
-          macos-12
+          macos-13
         ]
     runs-on: ${{ matrix.os }}
     permissions:

.github/workflows/library_net_tests.yml

@@ -33,7 +33,7 @@ jobs:
         os: [
           windows-latest,
           ubuntu-latest,
-          macos-12,
+          macos-13,
         ]
     runs-on: ${{ matrix.os }}
     permissions:

.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

.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","justplaz","ajewellamz","RitvikKapila"]', github.actor)
-    runs-on: macos-12
+    runs-on: macos-13
     permissions:
       id-token: write
       contents: write