CI: Bump instance used for CBMC proofs

Signed-off-by: Hanno Becker <[email protected]>
pq-code-package · Nov 13, 2024 · 5527d7f · 5527d7f
1 parent 79dabec
commit 5527d7f
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -242,9 +242,9 @@ jobs:
     if: github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork
     with:
       name: CBMC (MLKEM-512)
-      ec2_instance_type: c7g.2xlarge
+      ec2_instance_type: c7g.8xlarge
       ec2_ami: ubuntu-latest (custom AMI)
-      ec2_ami_id: ami-08ddb0acd99dc3d33 # aarch64, ubuntu-latest, 64g
+      ec2_ami_id: ami-040f2afb6cf54a5e4 # aarch64, ubuntu-latest, 64g
       compile_mode: native
       opt: no_opt
       lint: false
@@ -265,9 +265,9 @@ jobs:
     if: github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork
     with:
       name: CBMC (MLKEM-768)
-      ec2_instance_type: c7g.2xlarge
+      ec2_instance_type: c7g.8xlarge
       ec2_ami: ubuntu-latest (custom AMI)
-      ec2_ami_id: ami-08ddb0acd99dc3d33 # aarch64, ubuntu-latest, 64g
+      ec2_ami_id: ami-040f2afb6cf54a5e4 # aarch64, ubuntu-latest, 64g
       compile_mode: native
       opt: no_opt
       lint: false
@@ -288,9 +288,9 @@ jobs:
     if: github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork
     with:
       name: CBMC (MLKEM-1024)
-      ec2_instance_type: c7g.2xlarge
+      ec2_instance_type: c7g.8xlarge
       ec2_ami: ubuntu-latest (custom AMI)
-      ec2_ami_id: ami-08ddb0acd99dc3d33 # aarch64, ubuntu-latest, 64g
+      ec2_ami_id: ami-040f2afb6cf54a5e4 # aarch64, ubuntu-latest, 64g
       compile_mode: native
       opt: no_opt
       lint: false