Skip to content
CI

Improve speed of polyvec_add() proof. #2543

Sign in to view logs

Improve speed of polyvec_add() proof.

Improve speed of polyvec_add() proof. #2543

Re-run triggered November 12, 2024 10:18
@hanno-beckerhanno-becker
#368
speedup_polyvec_add_proof
Status Cancelled
Total duration 6h 54m 42s
Billable time 35m
Artifacts –

ci.yml

on: pull_request
Matrix: quickcheck
Matrix: compiler_tests
Matrix: Linting
cbmc_k2  /  Start CBMC (MLKEM-512) (c7g.2xlarge)
1m 12s
cbmc_k2 / Start CBMC (MLKEM-512) (c7g.2xlarge)
cbmc_k3  /  Start CBMC (MLKEM-768) (c7g.2xlarge)
1m 10s
cbmc_k3 / Start CBMC (MLKEM-768) (c7g.2xlarge)
cbmc_k4  /  Start CBMC (MLKEM-1024) (c7g.2xlarge)
1m 5s
cbmc_k4 / Start CBMC (MLKEM-1024) (c7g.2xlarge)
Matrix: build_kat
Matrix: ec2_functests
cbmc_k2  /  tests
7m 48s
cbmc_k2 / tests
cbmc_k3  /  tests
8m 57s
cbmc_k3 / tests
cbmc_k4  /  tests
0s
cbmc_k4 / tests
cbmc_k2  /  Stop CBMC (MLKEM-512) (c7g.2xlarge)
7s
cbmc_k2 / Stop CBMC (MLKEM-512) (c7g.2xlarge)
cbmc_k3  /  Stop CBMC (MLKEM-768) (c7g.2xlarge)
5s
cbmc_k3 / Stop CBMC (MLKEM-768) (c7g.2xlarge)
cbmc_k4  /  Stop CBMC (MLKEM-1024) (c7g.2xlarge)
6s
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
Fit to window
Zoom out
Zoom in

Annotations

4 errors
cbmc_k4 / tests
Canceling since a higher priority waiting request for 'CI-refs/pull/368/merge' exists
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
AWS EC2 instance i-02610800db2299503 termination error
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
InvalidInstanceID.NotFound: The instance ID 'i-02610800db2299503' does not exist
cbmc_k4 / Stop CBMC (MLKEM-1024) (c7g.2xlarge)
The instance ID 'i-02610800db2299503' does not exist