remove macos

Author: rishav-karanjit

.github/workflows/ci_examples_java.yml

@@ -29,7 +29,11 @@ jobs:
       max-parallel: 1
       matrix:
         java-version: [8, 11, 16, 17]
-        os: [macos-13]
+        os: [
+              ubuntu-22.04,
+              # TODO: Re-enable macOS after https://t.corp.amazon.com/P205755286
+              # macos-13,
+            ]
     runs-on: ${{ matrix.os }}
     permissions:
       id-token: write

.github/workflows/ci_examples_net.yml

@@ -27,7 +27,11 @@ jobs:
       matrix:
         library: [DynamoDbEncryption]
         dotnet-version: ["6.0.x"]
-        os: [macos-13]
+        os: [
+              ubuntu-22.04,
+              # TODO: Re-enable macOS after https://t.corp.amazon.com/P205755286
+              # macos-13,
+            ]
     runs-on: ${{ matrix.os }}
     permissions:
       id-token: write

.github/workflows/ci_test_java.yml

@@ -29,7 +29,11 @@ jobs:
       matrix:
         library: [DynamoDbEncryption]
         java-version: [8, 11, 16, 17]
-        os: [macos-13]
+        os: [
+              ubuntu-22.04,
+              # TODO: Re-enable macOS after https://t.corp.amazon.com/P205755286
+              # macos-13,
+            ]
     runs-on: ${{ matrix.os }}
     permissions:
       id-token: write

.github/workflows/ci_test_net.yml

@@ -25,7 +25,11 @@ jobs:
       matrix:
         library: [DynamoDbEncryption]
         dotnet-version: ["6.0.x"]
-        os: [macos-13, ubuntu-latest, windows-latest]
+        os: [
+          # TODO: Re-enable macOS after https://t.corp.amazon.com/P205755286
+          # macos-13,
+          ubuntu-latest, 
+          windows-latest]
     runs-on: ${{ matrix.os }}
     permissions:
       id-token: write

.github/workflows/dafny_interop_examples_java.yml

@@ -28,7 +28,11 @@ jobs:
       max-parallel: 1
       matrix:
         java-version: [8, 11, 16, 17]
-        os: [macos-13]
+        os: [
+          # TODO: Re-enable macOS after https://t.corp.amazon.com/P205755286
+          # macos-13,
+          ubuntu-latest,
+        ]
     runs-on: ${{ matrix.os }}
     permissions:
       id-token: write

.github/workflows/dafny_interop_examples_net.yml

@@ -24,7 +24,11 @@ jobs:
       matrix:
         library: [DynamoDbEncryption]
         dotnet-version: ["6.0.x"]
-        os: [macos-13]
+        os: [
+          # TODO: Re-enable macOS after https://t.corp.amazon.com/P205755286
+          # macos-13,
+          ubuntu-latest,
+        ]
     runs-on: ${{ matrix.os }}
     permissions:
       id-token: write

.github/workflows/dafny_interop_java.yml

@@ -28,7 +28,11 @@ jobs:
       matrix:
         library: [DynamoDbEncryption]
         java-version: [8, 11, 16, 17]
-        os: [macos-13]
+        os: [
+          # TODO: Re-enable macOS after https://t.corp.amazon.com/P205755286
+          # macos-13,
+          ubuntu-latest,
+        ]
     runs-on: ${{ matrix.os }}
     permissions:
       id-token: write

.github/workflows/library_dafny_verification.yml

@@ -39,7 +39,11 @@ jobs:
             DynamoDbItemEncryptor,
             StructuredEncryption,
           ]
-        os: [macos-13]
+        os: [
+          # TODO: Re-enable macOS after https://t.corp.amazon.com/P205755286
+          # macos-13,
+          ubuntu-latest,
+        ]
     runs-on: ${{ matrix.os }}
     defaults:
       run:

.github/workflows/library_format.yml

@@ -19,7 +19,11 @@ jobs:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     strategy:
       matrix:
-        os: [macos-13]
+        os: [
+          # TODO: Re-enable macOS after https://t.corp.amazon.com/P205755286
+          # macos-13,
+          ubuntu-latest,
+        ]
     runs-on: ${{ matrix.os }}
     defaults:
       run:

.github/workflows/library_rust_tests.yml

@@ -26,7 +26,16 @@ jobs:
       matrix:
         library: [DynamoDbEncryption, TestVectors]
         # removed windows-latest because somehow it can't build aws-lc in CI
-        os: [ubuntu-latest, macos-13]
+        os: [
+            # TODO fix Dafny-generated tests on Windows;
+            # the sys.path workaround for generated Dafny doesn't work on Windows.
+            # Note: only tests use the sys.path workaround, not source code.
+            # Windows source code is tested downstream (ex. ESDK-Python CI).
+            # windows-latest,
+            ubuntu-22.04,
+            # TODO: Re-enable macOS after https://t.corp.amazon.com/P205755286
+              # macos-13,
+          ]
     runs-on: ${{ matrix.os }}
     permissions:
       id-token: write

.github/workflows/test_vector_verification.yml

@@ -29,7 +29,11 @@ jobs:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     strategy:
       matrix:
-        os: [macos-13]
+        os: [
+          # TODO: Re-enable macOS after https://t.corp.amazon.com/P205755286
+          # macos-13,
+          ubuntu-latest,
+        ]
     runs-on: ${{ matrix.os }}
     defaults:
       run: