CI

Update CBMC to 6.4.0 #2505

Sign in to view logs

Re-run triggered November 11, 2024 16:58

#376

update-cbmc

Status Cancelled

Total duration 5m 41s

Billable time 36m

Artifacts –

ci.yml

on: pull_request

Matrix: quickcheck

Matrix: compiler_tests

Matrix: Linting

cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)

cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)

cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)

Matrix: build_kat

Matrix: ec2_functests

cbmc_k2 / tests

cbmc_k3 / tests

cbmc_k4 / tests

cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)

cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)

cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)

Annotations

4 errors

cbmc_k4 / tests

The run was canceled by @hanno-becker.

cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)

AWS EC2 instance i-070dc29b662a0c0c2 termination error

cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)

InvalidInstanceID.NotFound: The instance ID 'i-070dc29b662a0c0c2' does not exist

cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)

The instance ID 'i-070dc29b662a0c0c2' does not exist