From 5527d7f8b2c1301779084af663250c0cdbdbb626 Mon Sep 17 00:00:00 2001 From: Hanno Becker Date: Wed, 13 Nov 2024 13:43:54 +0000 Subject: [PATCH] CI: Bump instance used for CBMC proofs Signed-off-by: Hanno Becker --- .github/workflows/ci.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e3edc515b..b94ce0873 100644 --- 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