Merge pull request #309 from pq-code-package/switch-cbmc-ci

CBMC: Switch from c7g.8xlarge to c7g.4xlarge.

Author: hanno-becker

.github/workflows/cbmc.yml

@@ -17,7 +17,7 @@ jobs:
     uses: ./.github/workflows/ci_ec2_reusable.yml
     with:
       name: CBMC (ML-DSA-44)
-      ec2_instance_type: c7g.8xlarge
+      ec2_instance_type: c7g.4xlarge
       ec2_ami: ubuntu-latest (custom AMI)
       ec2_ami_id: ami-0d7f502261b31b27f # aarch64, ubuntu-latest, 64g
       compile_mode: native
@@ -40,7 +40,7 @@ jobs:
     uses: ./.github/workflows/ci_ec2_reusable.yml
     with:
       name: CBMC (ML-DSA-65)
-      ec2_instance_type: c7g.8xlarge
+      ec2_instance_type: c7g.4xlarge
       ec2_ami: ubuntu-latest (custom AMI)
       ec2_ami_id: ami-0d7f502261b31b27f # aarch64, ubuntu-latest, 64g
       compile_mode: native
@@ -63,7 +63,7 @@ jobs:
     uses: ./.github/workflows/ci_ec2_reusable.yml
     with:
       name: CBMC (ML-DSA-87)
-      ec2_instance_type: c7g.8xlarge
+      ec2_instance_type: c7g.4xlarge
       ec2_ami: ubuntu-latest (custom AMI)
       ec2_ami_id: ami-0d7f502261b31b27f # aarch64, ubuntu-latest, 64g
       compile_mode: native